fix restoring of the scroll position

This commit is contained in:
Fabian Jakobs 2010-09-20 20:16:58 +02:00
commit 00b225f124

View file

@ -116,6 +116,7 @@ var Editor = function(renderer, doc) {
this.bgTokenizer.start(0);
var _self = this;
_self.renderer.scrollToRow(doc.getScrollTopRow());
this.renderer.draw(false, function() {
_self.onCursorChange();
_self.onSelectionChange();