From eeca1a502cabdf14828547b74f5fc68abfccfccb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=CC=88rg=20Hohwiller?= <hohwille@users.sourceforge.net>
Date: Wed, 26 Feb 2020 00:24:49 +0100
Subject: [PATCH] added Element.id property

---
 jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java b/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java
index eab7a3c05..679321058 100644
--- a/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java
+++ b/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java
@@ -15,6 +15,8 @@
  */
 package org.teavm.jso.dom.xml;
 
+import org.teavm.jso.JSProperty;
+
 public interface Element extends Node {
     String getTagName();
 
@@ -51,4 +53,10 @@ public interface Element extends Node {
     Element querySelector(String selectors);
 
     NodeList<? extends Element> querySelectorAll(String selectors);
+    
+    @JSProperty
+    String getId();
+
+    @JSProperty
+    void setId(String id);
 }