added offsetTop and offsetLeft JSO methods to HTMLElement
@@ -117,6 +117,12 @@ public interface HTMLElement extends Element, ElementCSSInlineStyle, EventTarget
@JSProperty
int getOffsetHeight();
+ @JSProperty
+ int getOffsetTop();
+
+ @JSProperty
+ int getOffsetLeft();
+
@JSProperty
@Override
HTMLDocument getOwnerDocument();
