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