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

fix ie9 gutter bug #739

Browse source
This commit is contained in:
nightwing 2012-05-08 23:01:43 +04:00
commit d1c125fb56
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/ace/virtual_renderer.js
View file

@ -451,6 +451,10 @@ 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;