| 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 15feefd2c1470e4606a8c564c906122371242b53..3e7da9fd39ca457316e648fa30a43e6611779529 100644
|
| --- a/client/dom/generated/src/frog/EventSource.dart
|
| +++ b/client/dom/generated/src/frog/EventSource.dart
|
| @@ -7,9 +7,9 @@ class EventSource native "*EventSource" {
|
|
|
| static final int OPEN = 1;
|
|
|
| - String URL;
|
| + String get URL() native "return this.URL;";
|
|
|
| - int readyState;
|
| + int get readyState() native "return this.readyState;";
|
|
|
| void addEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
|
|
|
|