From f77cb9d52c563b57bc1750a59ebe55c035f042e0 Mon Sep 17 00:00:00 2001
From: Ivan Hetman <Ihromant@users.noreply.github.com>
Date: Wed, 7 Dec 2022 10:45:55 +0200
Subject: [PATCH] JS: added two missing functions to interop interfaces (#645)

---
 .../src/main/java/org/teavm/jso/dom/html/HTMLDocument.java     | 2 ++
 jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLElement.java | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLDocument.java b/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLDocument.java
index 6505a1866..1e09572ab 100644
--- a/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLDocument.java
+++ b/jso/apis/src/main/java/org/teavm/jso/dom/html/HTMLDocument.java
@@ -64,6 +64,8 @@ public interface HTMLDocument extends Document, EventTarget {
     @JSProperty
     HTMLElement getActiveElement();
 
+    HTMLElement elementFromPoint(int x, int y);
+
     @JSProperty
     boolean isDesignMode();
 
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 e49359196..3e627f76c 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
@@ -131,6 +131,9 @@ public interface HTMLElement extends Element, ElementCSSInlineStyle, EventTarget
     @Override
     HTMLDocument getOwnerDocument();
 
+    @JSProperty
+    HTMLCollection getChildren();
+
     @JSProperty
     String getInnerHTML();