| 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 c9c644c76ebddc7538aa0d02f675fb5ca501f716..2d3ae74659557bb2f37b76f323659be65f0f5b85 100644
|
| --- a/client/dom/generated/src/frog/WebSocket.dart
|
| +++ b/client/dom/generated/src/frog/WebSocket.dart
|
| @@ -1,5 +1,5 @@
|
|
|
| -class WebSocket native "*WebSocket" {
|
| +class WebSocketJS implements WebSocket native "*WebSocket" {
|
| WebSocket(String url) native;
|
|
|
|
|
| @@ -29,7 +29,7 @@ class WebSocket native "*WebSocket" {
|
|
|
| void close([int code = null, String reason = null]) native;
|
|
|
| - bool dispatchEvent(Event evt) native;
|
| + bool dispatchEvent(EventJS evt) native;
|
|
|
| void removeEventListener(String type, EventListener listener, [bool useCapture = null]) native;
|
|
|
|
|