var prev = parent.getScroll();
var prevbottom = parent.getScrollSize().y;
- var prevsize = parent.getSize();
-
- /* fixes an IE bug */
- if(prevbottom < prevsize.y)
- prevbottom = prevsize.y;
+ var prevheight = parent.clientHeight;
+
+ /*
+ * fixes an IE bug: the scrollheight is less than the actual height
+ * when the div isn't full
+ */
+ if(prevbottom < prevheight)
+ prevbottom = prevheight;
- return prev.y + prevsize.y == prevbottom;
+ return prev.y + prevheight == prevbottom;
},
getScrollParent: function() {
var scrollparent = this.lines;