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