Index: runtime/bin/vmservice/client/lib/src/elements/io_view.dart |
diff --git a/runtime/bin/vmservice/client/lib/src/elements/io_view.dart b/runtime/bin/vmservice/client/lib/src/elements/io_view.dart |
index 24c137a6d445a0cd0ae231c905e04fe9bd964986..c7a3e62d4976052089a58fb09721242b53393e82 100644 |
--- a/runtime/bin/vmservice/client/lib/src/elements/io_view.dart |
+++ b/runtime/bin/vmservice/client/lib/src/elements/io_view.dart |
@@ -99,6 +99,33 @@ class IOSocketViewElement extends ObservatoryElement { |
} |
} |
+@CustomTag('io-web-socket-ref') |
+class IOWebSocketRefElement extends ServiceRefElement { |
+ IOWebSocketRefElement.created() : super.created(); |
+} |
+ |
+@CustomTag('io-web-socket-list-view') |
+class IOWebSocketListViewElement extends ObservatoryElement { |
+ @published ServiceMap list; |
+ |
+ IOWebSocketListViewElement.created() : super.created(); |
+ |
+ void refresh(var done) { |
+ list.reload().whenComplete(done); |
+ } |
+} |
+ |
+@CustomTag('io-web-socket-view') |
+class IOWebSocketViewElement extends ObservatoryElement { |
+ @published ServiceMap webSocket; |
+ |
+ IOWebSocketViewElement.created() : super.created(); |
+ |
+ void refresh(var done) { |
+ webSocket.reload().whenComplete(done); |
+ } |
+} |
+ |
@CustomTag('io-random-access-file-list-view') |
class IORandomAccessFileListViewElement extends ObservatoryElement { |
@published ServiceMap list; |