| Index: client/dom/generated/src/interface/DOMWindow.dart
|
| diff --git a/client/dom/generated/src/interface/DOMWindow.dart b/client/dom/generated/src/interface/DOMWindow.dart
|
| index e437442bf412a324388c053a4ed741e622f6b531..8e7d994c9a98516202bc510b03de9d77279beeb5 100644
|
| --- a/client/dom/generated/src/interface/DOMWindow.dart
|
| +++ b/client/dom/generated/src/interface/DOMWindow.dart
|
| @@ -170,8 +170,12 @@ interface Window extends EventTarget {
|
|
|
| void set top(DOMWindow value);
|
|
|
| + IDBFactory get webkitIndexedDB();
|
| +
|
| NotificationCenter get webkitNotifications();
|
|
|
| + StorageInfo get webkitStorageInfo();
|
| +
|
| DOMURL get webkitURL();
|
|
|
| DOMWindow get window();
|
| @@ -216,6 +220,8 @@ interface Window extends EventTarget {
|
|
|
| DOMWindow open(String url, String name, [String options]);
|
|
|
| + Database openDatabase(String name, String version, String displayName, int estimatedSize, [DatabaseCallback creationCallback]);
|
| +
|
| void postMessage(String message, var messagePorts_OR_targetOrigin, [String targetOrigin]);
|
|
|
| void print();
|
|
|