Index: client/dom/generated/src/interface/Document.dart |
diff --git a/client/dom/generated/src/interface/Document.dart b/client/dom/generated/src/interface/Document.dart |
index 76cb5869514d13df1f0e0d95f31fef351d029d1e..e1cf9e863dc1a9deb9224e75d37e58636fe799b1 100644 |
--- a/client/dom/generated/src/interface/Document.dart |
+++ b/client/dom/generated/src/interface/Document.dart |
@@ -78,8 +78,14 @@ interface Document extends Node, NodeSelector { |
void set title(String value); |
+ Element get webkitCurrentFullScreenElement(); |
+ |
+ bool get webkitFullScreenKeyboardInputAllowed(); |
+ |
bool get webkitHidden(); |
+ bool get webkitIsFullScreen(); |
+ |
String get webkitVisibilityState(); |
String get xmlEncoding(); |
@@ -165,4 +171,6 @@ interface Document extends Node, NodeSelector { |
Element querySelector(String selectors); |
NodeList querySelectorAll(String selectors); |
+ |
+ void webkitCancelFullScreen(); |
} |