Index: client/dom/generated/src/frog/Element.dart |
diff --git a/client/dom/generated/src/frog/Element.dart b/client/dom/generated/src/frog/Element.dart |
index e01dc90791de643d6fdff4711709b77384c8b2b9..87dfd8b2e40dbaf243b79054f98ca75378d2b067 100644 |
--- a/client/dom/generated/src/frog/Element.dart |
+++ b/client/dom/generated/src/frog/Element.dart |
@@ -1,6 +1,8 @@ |
class Element extends Node native "Element" { |
+ static final int ALLOW_KEYBOARD_INPUT = 1; |
+ |
int childElementCount; |
int clientHeight; |
@@ -94,4 +96,6 @@ class Element extends Node native "Element" { |
Attr setAttributeNodeNS(Attr newAttr) native; |
bool webkitMatchesSelector(String selectors) native; |
+ |
+ void webkitRequestFullScreen(int flags) native; |
} |