hace 10 años · 1e4e89bacb
--- a/desktop/core/src/desktop/static/desktop/js/ace/theme-hue.js
+++ b/desktop/core/src/desktop/static/desktop/js/ace/theme-hue.js
--- a/tools/ace-editor/lib/ace/theme/hue.css
+++ b/tools/ace-editor/lib/ace/theme/hue.css
@@ -83,7 +83,6 @@
 
				 }
			
 
				 
			
 
				 .ace_gutter > .ace_layer {
			
 
				-  min-width: 24px !important;
			
 
				   border-left: 1px solid #DBE8F1;
			
 
				   color: #737373;
			
 
				 }