소스 검색

[editor] Make the editor gutter width smaller

Johan Ahlen 10 년 전
부모
커밋
808cf4b
2개의 변경된 파일4개의 추가작업 그리고 3개의 파일을 삭제
  1. 0 0
      desktop/core/src/desktop/static/desktop/js/ace/theme-hue.js
  2. 4 3
      tools/ace-editor/lib/ace/theme/hue.css

파일 크기가 너무 크기때문에 변경 상태를 표시하지 않습니다.
+ 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,

이 변경점에서 너무 많은 파일들이 변경되어 몇몇 파일들은 표시되지 않았습니다.