From 94d62a20f9bf409852c2ff8478bd09a85147e8e5 Mon Sep 17 00:00:00 2001 From: danyaPostfactum Date: Tue, 22 May 2012 04:33:50 +1200 Subject: [PATCH 1/3] Update lib/ace/theme/crimson_editor.js --- lib/ace/theme/crimson_editor.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lib/ace/theme/crimson_editor.js b/lib/ace/theme/crimson_editor.js index d38f0d5c..c0981537 100644 --- a/lib/ace/theme/crimson_editor.js +++ b/lib/ace/theme/crimson_editor.js @@ -46,7 +46,6 @@ exports.cssText = ".ace-crimson-editor .ace_editor {\ }\ \ .ace-crimson-editor .ace_gutter {\ - width: 50px;\ background: #e8e8e8;\ color: #333;\ overflow : hidden;\ @@ -57,10 +56,6 @@ exports.cssText = ".ace-crimson-editor .ace_editor {\ text-align: right;\ }\ \ -.ace-crimson-editor .ace_gutter-layer .ace_gutter-cell {\ - padding-right: 6px;\ -}\ -\ .ace-crimson-editor .ace_print_margin {\ width: 1px;\ background: #e8e8e8;\ From e140a4185c624552bbb5b5709b77459f62c1cc3b Mon Sep 17 00:00:00 2001 From: danyaPostfactum Date: Tue, 22 May 2012 21:30:58 +1200 Subject: [PATCH 2/3] Delete unnecessary css-rule --- lib/ace/theme/chrome.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lib/ace/theme/chrome.js b/lib/ace/theme/chrome.js index 60fdf458..ae9f05da 100644 --- a/lib/ace/theme/chrome.js +++ b/lib/ace/theme/chrome.js @@ -52,11 +52,6 @@ exports.cssText = ".ace-chrome .ace_editor {\ overflow : hidden;\ }\ \ -.ace-chrome .ace_gutter-layer {\ - width: 100%;\ - text-align: right;\ -}\ -\ .ace-chrome .ace_print_margin {\ width: 1px;\ background: #e8e8e8;\ From dc710d63cbadb4294c85413aa85cd077522433dd Mon Sep 17 00:00:00 2001 From: danyaPostfactum Date: Tue, 22 May 2012 21:35:48 +1200 Subject: [PATCH 3/3] Fix IE bug (remove width: 100%) --- lib/ace/css/editor.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css index e8eec1e9..af1cecf3 100644 --- a/lib/ace/css/editor.css +++ b/lib/ace/css/editor.css @@ -1,4 +1,3 @@ - .ace_editor { position: absolute; overflow: hidden; @@ -37,8 +36,8 @@ .ace_gutter_active_line { position: absolute; + left: 0; right: 0; - width: 100%; } .ace_scroller.horscroll {