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

Allow gutterLineHighlight in IE

Browse source
This commit is contained in:
danyaPostfactum 2012-05-24 16:56:03 +12:00
commit 217ed2457b
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/ace/virtual_renderer.js
View file

@ -451,10 +451,6 @@ var VirtualRenderer = function(container, theme) {
this.$highlightGutterLine = false; this.$highlightGutterLine = false;
this.setHighlightGutterLine = function(shouldHighlight) { this.setHighlightGutterLine = function(shouldHighlight) {
// adding this element to gutter causes strange behavior on ie
if (useragent.isIE)
return;
if (this.$highlightGutterLine == shouldHighlight) if (this.$highlightGutterLine == shouldHighlight)
return; return;
this.$highlightGutterLine = shouldHighlight; this.$highlightGutterLine = shouldHighlight;