IE rendering fix

This commit is contained in:
Fabian Jakobs 2010-12-15 17:34:24 +01:00
commit 062c396432

View file

@ -184,7 +184,7 @@ var VirtualRenderer = function(container, theme) {
* Triggers resize of the editor
*/
this.onResize = function() {
this.$loop.schedule(this.CHANGE_SIZE);
var changes = this.CHANGE_SIZE;
var height = dom.getInnerHeight(this.container);
if (this.$size.height != height) {
@ -195,7 +195,7 @@ var VirtualRenderer = function(container, theme) {
if (this.doc) {
this.scrollToY(this.getScrollTop());
this.$loop.schedule(this.CHANGE_FULL);
changes = changes | this.CHANGE_FULL;
}
}
@ -210,6 +210,7 @@ var VirtualRenderer = function(container, theme) {
this.$size.scrollerWidth = this.scroller.clientWidth;
this.$size.scrollerHeight = this.scroller.clientHeight;
this.$loop.schedule(changes);
};
this.setTokenizer = function(tokenizer) {
@ -372,7 +373,8 @@ var VirtualRenderer = function(container, theme) {
else if (changes & this.CHANGE_LINES) {
this.$updateLines();
this.$updateScrollBar();
} if (changes & this.CHANGE_GUTTER) {
this.showGutter && this.$gutterLayer.update(this.layerConfig);
} else if (changes & this.CHANGE_GUTTER) {
this.showGutter && this.$gutterLayer.update(this.layerConfig);
}