| 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
|
| deleted file mode 100644
|
| index 4e85b001dc3810567361ad17c622b25f7b6c8b72..0000000000000000000000000000000000000000
|
| --- a/client/dom/generated/src/frog/EventSource.dart
|
| +++ /dev/null
|
| @@ -1,23 +0,0 @@
|
| -
|
| -class _EventSourceJs extends _EventTargetJs implements EventSource native "*EventSource" {
|
| -
|
| - static final int CLOSED = 2;
|
| -
|
| - static final int CONNECTING = 0;
|
| -
|
| - static final int OPEN = 1;
|
| -
|
| - final String URL;
|
| -
|
| - final int readyState;
|
| -
|
| - final String url;
|
| -
|
| - void addEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
| -
|
| - void close() native;
|
| -
|
| - bool dispatchEvent(_EventJs evt) native;
|
| -
|
| - void removeEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
| -}
|
|
|