Explorar el Código

[editor] Make the editor gutter width smaller

Johan Ahlen hace 10 años
padre
commit
808cf4b

La diferencia del archivo ha sido suprimido porque es demasiado grande
+ 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,

Algunos archivos no se mostraron porque demasiados archivos cambiaron en este cambio