Merge branch 'ui/refactor' of github.com:ajaxorg/ace into ui/refactor

This commit is contained in:
Ruben Daniels 2012-05-08 21:09:16 -07:00
commit b06fca04e5

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;