From 0fb16fdaf06316239def7079238938676df39182 Mon Sep 17 00:00:00 2001 From: nightwing Date: Sat, 14 Jan 2012 19:19:12 +0400 Subject: [PATCH] small css optimization. (based on output from chrome css profiler) --- lib/ace/css/editor.css | 24 +++++++++++------------- 1 file changed, 11 insertions(+), 13 deletions(-) diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css index 84d82520..47bd1b42 100644 --- a/lib/ace/css/editor.css +++ b/lib/ace/css/editor.css @@ -22,12 +22,6 @@ cursor: text; } -/* setting pointer-events: auto; on node under the mouse, which changes during scroll, - will break mouse wheel scrolling in Safari */ -.ace_content * { - pointer-events: none; -} - .ace_composition { position: absolute; background: #555; @@ -35,12 +29,6 @@ z-index: 4; } -.ace_gutter .ace_layer { - position: relative; - min-width: 54px; - text-align: right; -} - .ace_gutter { position: absolute; overflow : hidden; @@ -125,6 +113,16 @@ box-sizing: border-box; -moz-box-sizing: border-box; -webkit-box-sizing: border-box; + /* setting pointer-events: auto; on node under the mouse, which changes + during scroll, will break mouse wheel scrolling in Safari */ + pointer-events: none; +} + +.ace_gutter .ace_layer { + position: relative; + min-width: 40px; + text-align: right; + pointer-events: auto; } .ace_text-layer { @@ -222,7 +220,7 @@ cursor: move; } -.ace_folding-enabled .ace_gutter-cell { +.ace_folding-enabled > .ace_gutter-cell { padding-right: 13px; }