| Index: client/dom/generated/src/frog/WorkerContext.dart
|
| diff --git a/client/dom/generated/src/frog/WorkerContext.dart b/client/dom/generated/src/frog/WorkerContext.dart
|
| index ae49c997dd701e91f3686e17e3cd1718fc31bd43..7fee16881dc02298fdde8d2fb1fd134bee2fe031 100644
|
| --- a/client/dom/generated/src/frog/WorkerContext.dart
|
| +++ b/client/dom/generated/src/frog/WorkerContext.dart
|
| @@ -5,20 +5,18 @@ class _WorkerContextJs extends _DOMTypeJs implements WorkerContext native "*Work
|
|
|
| static final int TEMPORARY = 0;
|
|
|
| - _WorkerLocationJs location;
|
| + final _WorkerLocationJs location;
|
|
|
| - _WorkerNavigatorJs navigator;
|
| + final _WorkerNavigatorJs navigator;
|
|
|
| EventListener onerror;
|
|
|
| - _WorkerContextJs self;
|
| + final _WorkerContextJs self;
|
|
|
| final _IDBFactoryJs webkitIndexedDB;
|
|
|
| final _NotificationCenterJs webkitNotifications;
|
|
|
| - final _DOMURLJs webkitURL;
|
| -
|
| void addEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
|
|
| void clearInterval(int handle) native;
|
|
|