Scrolling now works in IE.

diff --git a/js/ui/baseuiwindow.js b/js/ui/baseuiwindow.js
index 6cdeb8775ab8e7903bdbc647781588483f795cc0..112f6c5ef0a143e9c666192ce418571d43a2e558 100644 (file)
--- a/js/ui/baseuiwindow.js
+++ b/js/ui/baseuiwindow.js
@@ -70,6 +70,10 @@ var UIWindow = new Class({
     var prevbottom = parent.getScrollSize().y;
     var prevsize = parent.getSize();
     
     var prevbottom = parent.getScrollSize().y;
     var prevsize = parent.getSize();
     

+    /* fixes an IE bug */
+    if(prevbottom < prevsize.y)
+      prevbottom = prevsize.y;
+      

     return prev.y + prevsize.y == prevbottom;
   },
   scrollToBottom: function() {
     return prev.y + prevsize.y == prevbottom;
   },
   scrollToBottom: function() {