diff --git a/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java b/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java index 2ea49fb87..bdaf7ed79 100644 --- a/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java +++ b/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java @@ -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();