From 21bd4a15fa53a69b841c5f98a85eff19400e48dc Mon Sep 17 00:00:00 2001 From: nightwing Date: Thu, 30 Jan 2014 21:10:36 +0400 Subject: [PATCH] fix diagonal resizing --- lib/ace/virtual_renderer.js | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js index ae85c4f0..f01326dc 100644 --- a/lib/ace/virtual_renderer.js +++ b/lib/ace/virtual_renderer.js @@ -369,7 +369,7 @@ var VirtualRenderer = function(container, theme) { }; if (height && (force || size.height != height)) { size.height = height; - changes = this.CHANGE_SIZE; + changes |= this.CHANGE_SIZE; size.scrollerHeight = size.height; if (this.$horizScroll) @@ -378,14 +378,11 @@ var VirtualRenderer = function(container, theme) { // this.scrollBarV.setHeight(size.scrollerHeight); this.scrollBarV.element.style.bottom = this.scrollBarH.getHeight() + "px"; - if (this.session) { - //this.session.setScrollTop(this.getScrollTop()); - changes = changes | this.CHANGE_SCROLL; - } + changes = changes | this.CHANGE_SCROLL; } if (width && (force || size.width != width)) { - changes = this.CHANGE_SIZE; + changes |= this.CHANGE_SIZE; size.width = width; if (gutterWidth == null) @@ -404,7 +401,7 @@ var VirtualRenderer = function(container, theme) { // this.scrollBarH.element.style.setWidth(size.scrollerWidth); if (this.session && this.session.getUseWrapMode() && this.adjustWrapLimit() || force) - changes = changes | this.CHANGE_FULL; + changes |= this.CHANGE_FULL; } size.$dirty = !width || !height;