Browse Source

[editor] Make the editor gutter width smaller

Johan Ahlen 10 years ago
parent
commit
808cf4b

File diff suppressed because it is too large
+ 0 - 0
desktop/core/src/desktop/static/desktop/js/ace/theme-hue.js


+ 4 - 3
tools/ace-editor/lib/ace/theme/hue.css

@@ -83,7 +83,7 @@
 }
 
 .ace_gutter > .ace_layer {
-  width: 41px !important;
+  width: 30px !important;
   border-left: 1px solid #DBE8F1;
   color: #737373;
 }
@@ -94,8 +94,9 @@
   background-image: none !important;
 }
 
-.ace_gutter_cell {
-  padding-left: 10px !important;
+.ace_gutter-cell {
+  padding-left: 0 !important;
+  padding-right: 3px !important;
 }
 
 .ace-hue .ace_constant.ace_character,

Some files were not shown because too many files changed in this diff