From 12ed6620e46593b2086b59c427c099cf84682e85 Mon Sep 17 00:00:00 2001
From: Michael M Slusarz <slusarz@curecanti.org>
Date: Thu, 19 Nov 2009 15:49:18 -0700
Subject: [PATCH] Fix hiding scrollbar when switching views

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

diff --git a/imp/js/ViewPort.js b/imp/js/ViewPort.js
index 753b79a51..52812199b 100644
--- a/imp/js/ViewPort.js
+++ b/imp/js/ViewPort.js
@@ -1225,6 +1225,7 @@ ViewPort_Scroller = Class.create({
     clear: function()
     {
         this.setSize(0, 0);
+        this.scrollbar.updateHandleLength();
     },
 
     // offset = (integer) Offset to move the scrollbar to
-- 
2.11.0