Missed a _renderViewport() conversion.

diff --git a/imp/js/src/ViewPort.js b/imp/js/src/ViewPort.js
index 905c27b..99b3cc0 100644 (file)
--- a/imp/js/src/ViewPort.js
+++ b/imp/js/src/ViewPort.js
@@ -967,7 +967,7 @@ var ViewPort = Class.create({
         this.split_bar.observe('dblclick', function() {
             var old_size = this.page_size;
             this.page_size = this.getPageSize('default');
-            this._renderViewport();
+            this._onResize(true);
             if (this.opts.onSplitBarChange &&
                 old_size != this.page_size) {
                 this.opts.onSplitBarChange();