From 04198674972624c7c838c7080bf64756714b239b Mon Sep 17 00:00:00 2001
From: Alexey Andreev <konsoletyper@gmail.com>
Date: Sun, 3 Dec 2017 13:01:22 +0300
Subject: [PATCH] Add scrolling properties to HTMLElement

---
 .../java/org/teavm/jso/dom/html/HTMLElement.java     | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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();