| Index: client/dom/generated/src/frog/WebSocket.dart
|
| diff --git a/client/dom/generated/src/frog/WebSocket.dart b/client/dom/generated/src/frog/WebSocket.dart
|
| index 2d3ae74659557bb2f37b76f323659be65f0f5b85..201eb8c883733771d53021fc47acf8231bdb7875 100644
|
| --- a/client/dom/generated/src/frog/WebSocket.dart
|
| +++ b/client/dom/generated/src/frog/WebSocket.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class WebSocketJS implements WebSocket native "*WebSocket" {
|
| +class WebSocketJs extends DOMTypeJs implements WebSocket native "*WebSocket" {
|
| WebSocket(String url) native;
|
|
|
|
|
| @@ -29,13 +29,9 @@ class WebSocketJS implements WebSocket native "*WebSocket" {
|
|
|
| void close([int code = null, String reason = null]) native;
|
|
|
| - bool dispatchEvent(EventJS evt) native;
|
| + bool dispatchEvent(EventJs evt) native;
|
|
|
| void removeEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
|
|
| bool send(String data) native;
|
| -
|
| - var dartObjectLocalStorage;
|
| -
|
| - String get typeName() native;
|
| }
|
|
|