Index: client/dom/generated/src/interface/Element.dart |
diff --git a/client/dom/generated/src/interface/Element.dart b/client/dom/generated/src/interface/Element.dart |
index 7b3a7994145852bc4e48d529cd1e6ee19553765d..05aec2dbf1a44be374f4f12a91bc28ae82c05e37 100644 |
--- a/client/dom/generated/src/interface/Element.dart |
+++ b/client/dom/generated/src/interface/Element.dart |
@@ -6,6 +6,8 @@ |
interface Element extends Node, NodeSelector, ElementTraversal { |
+ static final int ALLOW_KEYBOARD_INPUT = 1; |
+ |
int get childElementCount(); |
int get clientHeight(); |
@@ -103,4 +105,6 @@ interface Element extends Node, NodeSelector, ElementTraversal { |
Attr setAttributeNodeNS(Attr newAttr); |
bool webkitMatchesSelector(String selectors); |
+ |
+ void webkitRequestFullScreen(int flags); |
} |