| Index: client/dom/generated/src/interface/WorkerContext.dart
|
| diff --git a/client/dom/generated/src/interface/WorkerContext.dart b/client/dom/generated/src/interface/WorkerContext.dart
|
| index a59f8c6e92601f71220d8dbe852c1da0534043db..8b4713ad044e5e9ab0acc811abef505eee09a8a4 100644
|
| --- a/client/dom/generated/src/interface/WorkerContext.dart
|
| +++ b/client/dom/generated/src/interface/WorkerContext.dart
|
| @@ -6,27 +6,19 @@
|
|
|
| interface WorkerGlobalScope {
|
|
|
| - WorkerLocation get location();
|
| + WorkerLocation location;
|
|
|
| - void set location(WorkerLocation value);
|
| + WorkerNavigator navigator;
|
|
|
| - WorkerNavigator get navigator();
|
| + EventListener onerror;
|
|
|
| - void set navigator(WorkerNavigator value);
|
| + WorkerContext self;
|
|
|
| - EventListener get onerror();
|
| + final IDBFactory webkitIndexedDB;
|
|
|
| - void set onerror(EventListener value);
|
| + final NotificationCenter webkitNotifications;
|
|
|
| - WorkerContext get self();
|
| -
|
| - void set self(WorkerContext value);
|
| -
|
| - IDBFactory get webkitIndexedDB();
|
| -
|
| - NotificationCenter get webkitNotifications();
|
| -
|
| - DOMURL get webkitURL();
|
| + final DOMURL webkitURL;
|
|
|
| void addEventListener(String type, EventListener listener, [bool useCapture]);
|
|
|
|
|