From 5a5cad19d68a2406e3084587d19c4e3beff04d90 Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Mon, 20 Apr 2009 14:03:09 -0600
Subject: [PATCH] Missed a _renderViewport() conversion.

---
 imp/js/src/ViewPort.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/imp/js/src/ViewPort.js b/imp/js/src/ViewPort.js
index 905c27ba2..99b3cc04a 100644
--- 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();
-- 
2.11.0