fix scrollbar update

This commit is contained in:
Fabian Jakobs 2010-10-26 16:33:41 +02:00
commit 00d9ab74f8

View file

@ -184,7 +184,6 @@ var VirtualRenderer = function(container, theme) {
this.setTokenizer = function(tokenizer) {
this.$textLayer.setTokenizer(tokenizer);
this.$loop.schedule(this.CHANGE_TEXT);
};
@ -317,7 +316,8 @@ var VirtualRenderer = function(container, theme) {
this.$gutterLayer.update(this.layerConfig);
}
else if (changes & this.CHANGE_LINES) {
this.$updateLines();
this.$updateLines();
this.$updateScrollBar();
}
else if (changes & this.CHANGE_SCROLL) {
this.$textLayer.scrollLines(this.layerConfig);