jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #684 from danyaPostfactum/patch-1

Browse source 
Two little fixes of gutter style in "chrome" theme
This commit is contained in:
Fabian Jakobs 2012-04-05 05:32:28 -07:00
commit dc63ca891f
1 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
lib/ace/theme/chrome.js
View file

@ -47,7 +47,6 @@ exports.cssText = ".ace-chrome .ace_editor {\
}\ }\
\ \
.ace-chrome .ace_gutter {\ .ace-chrome .ace_gutter {\
width: 50px;\
background: #e8e8e8;\ background: #e8e8e8;\
color: #333;\ color: #333;\
overflow : hidden;\ overflow : hidden;\
@ -58,10 +57,6 @@ exports.cssText = ".ace-chrome .ace_editor {\
text-align: right;\ text-align: right;\
}\ }\
\ \
.ace-chrome .ace_gutter-layer .ace_gutter-cell {\
padding-right: 6px;\
}\
\
.ace-chrome .ace_print_margin {\ .ace-chrome .ace_print_margin {\
width: 1px;\ width: 1px;\
background: #e8e8e8;\ background: #e8e8e8;\