import com.google.gwt.user.client.Element;\r
import com.google.gwt.user.client.Event;\r
import com.google.gwt.user.client.Timer;\r
+import com.google.gwt.user.client.Window;\r
import com.google.gwt.user.client.ui.HTML;\r
import com.google.gwt.user.client.ui.Widget;\r
import com.vaadin.terminal.gwt.client.ApplicationConnection;\r
final double baseSize = Integer.parseInt(DOM.getElementProperty(base,\r
domProperty));\r
final double baseOffset = vertical ? DOM.getAbsoluteTop(base)\r
- - handleSize / 2 : DOM.getAbsoluteLeft(base) + handleSize / 2;\r
+ - Window.getScrollTop() - handleSize / 2 : DOM\r
+ .getAbsoluteLeft(base)\r
+ - Window.getScrollLeft() + handleSize / 2;\r
\r
if (vertical) {\r
v = ((baseSize - (coord - baseOffset)) / (baseSize - handleSize))\r