Index: client/dom/generated/src/frog/Document.dart |
diff --git a/client/dom/generated/src/frog/Document.dart b/client/dom/generated/src/frog/Document.dart |
index 328ce05611143fac2b1a0c873d12bdabe489e60c..419518915006682365be4ffc239876d273693279 100644 |
--- a/client/dom/generated/src/frog/Document.dart |
+++ b/client/dom/generated/src/frog/Document.dart |
@@ -57,8 +57,14 @@ class Document extends Node native "Document" { |
String title; |
+ Element webkitCurrentFullScreenElement; |
+ |
+ bool webkitFullScreenKeyboardInputAllowed; |
+ |
bool webkitHidden; |
+ bool webkitIsFullScreen; |
+ |
String webkitVisibilityState; |
String xmlEncoding; |
@@ -140,4 +146,6 @@ class Document extends Node native "Document" { |
Element querySelector(String selectors) native; |
NodeList querySelectorAll(String selectors) native; |
+ |
+ void webkitCancelFullScreen() native; |
} |