| Index: client/dom/generated/src/frog/EventSource.dart
|
| diff --git a/client/dom/generated/src/frog/EventSource.dart b/client/dom/generated/src/frog/EventSource.dart
|
| index 79b94d4b537fe8df2089f12db01683b555d937f9..6b9591bd2ad5bdb801520ec45d61633940571d68 100644
|
| --- a/client/dom/generated/src/frog/EventSource.dart
|
| +++ b/client/dom/generated/src/frog/EventSource.dart
|
| @@ -7,11 +7,11 @@ class _EventSourceJs extends _DOMTypeJs implements EventSource native "*EventSou
|
|
|
| static final int OPEN = 1;
|
|
|
| - String get URL() native "return this.URL;";
|
| + final String URL;
|
|
|
| - int get readyState() native "return this.readyState;";
|
| + final int readyState;
|
|
|
| - String get url() native "return this.url;";
|
| + final String url;
|
|
|
| void addEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
|
|
|
|