Add scrolling properties to HTMLElement
@@ -99,9 +99,21 @@ public interface HTMLElement extends Element, ElementCSSInlineStyle, EventTarget
@JSProperty
int getScrollLeft();
+ @JSProperty
+ void setScrollLeft(int scrollLeft);
+
@JSProperty
int getScrollTop();
+ @JSProperty
+ void setScrollTop(int scrollTop);
+
+ @JSProperty
+ int getScrollWidth();
+
+ @JSProperty
+ int getScrollHeight();
+
@JSProperty
@Override
HTMLDocument getOwnerDocument();
