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