Defer gutter refresh until cursor is rendered

based on pull #866
This commit is contained in:
nightwing 2012-08-09 23:41:41 +04:00
commit 45ee0cd121

View file

@ -483,7 +483,9 @@ var VirtualRenderer = function(container, theme) {
}
this.$gutterLineHighlight.style.display = shouldHighlight ? "" : "none";
this.$updateGutterLineHighlight();
// if cursorlayer have never been updated there's nothing on screen to update
if (this.$cursorLayer.$pixelPos)
this.$updateGutterLineHighlight();
};
this.getHighlightGutterLine = function() {