| 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);
|
| }
|
|
|