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; |