| Index: client/dom/generated/src/interface/EventSource.dart
|
| diff --git a/client/dom/generated/src/interface/EventSource.dart b/client/dom/generated/src/interface/EventSource.dart
|
| index c535de4e557025a1ee1e73938b7d3163814c9b58..1eb522c2ae39c97752847aec4de0cb3ef1879c6c 100644
|
| --- a/client/dom/generated/src/interface/EventSource.dart
|
| +++ b/client/dom/generated/src/interface/EventSource.dart
|
| @@ -12,11 +12,11 @@ interface EventSource extends EventTarget {
|
|
|
| static final int OPEN = 1;
|
|
|
| - String get URL();
|
| + final String URL;
|
|
|
| - int get readyState();
|
| + final int readyState;
|
|
|
| - String get url();
|
| + final String url;
|
|
|
| void addEventListener(String type, EventListener listener, [bool useCapture]);
|
|
|
|
|