diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css index af1cecf3..b38dc453 100644 --- a/lib/ace/css/editor.css +++ b/lib/ace/css/editor.css @@ -128,6 +128,7 @@ .ace_gutter .ace_layer { position: relative; min-width: 40px; + width: auto; text-align: right; pointer-events: auto; } diff --git a/lib/ace/editor.js b/lib/ace/editor.js index ac7c31ac..834e603a 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -509,8 +509,9 @@ var Editor = function(renderer, session) { this.$updateHighlightActiveLine(); } + var self = this; if (this.$highlightSelectedWord && !this.$wordHighlightTimer) - this.$wordHighlightTimer = setTimeout(function(self) { + this.$wordHighlightTimer = setTimeout(function() { self.session.$mode.highlightSelection(self); self.$wordHighlightTimer = null; }, 30, this); diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js index 996315e8..363f3cd8 100644 --- a/lib/ace/virtual_renderer.js +++ b/lib/ace/virtual_renderer.js @@ -451,10 +451,6 @@ var VirtualRenderer = function(container, theme) { this.$highlightGutterLine = false; this.setHighlightGutterLine = function(shouldHighlight) { - // adding this element to gutter causes strange behavior on ie - if (useragent.isIE) - return; - if (this.$highlightGutterLine == shouldHighlight) return; this.$highlightGutterLine = shouldHighlight;