Index: runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart |
diff --git a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart |
index 87e7e3563f93c165fc43f26ae056a250e8068631..b315b4bb4ea6b0db1f3730b9fa58ef496dcd1522 100644 |
--- a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart |
+++ b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart |
@@ -116,3 +116,22 @@ class ClassNavMenuElement extends ObservatoryElement { |
ClassNavMenuElement.created() : super.created(); |
} |
+ |
+@CustomTag('nav-notify') |
+class NavNotifyElement extends ObservatoryElement { |
+ @published ObservableList<ServiceEvent> events; |
+ |
+ NavNotifyElement.created() : super.created(); |
+} |
+ |
+@CustomTag('nav-notify-item') |
+class NavNotifyItemElement extends ObservatoryElement { |
+ @published ObservableList<ServiceEvent> events; |
+ @published ServiceEvent event; |
+ |
+ void closeItem(MouseEvent e, var detail, Element target) { |
+ events.remove(event); |
+ } |
+ |
+ NavNotifyItemElement.created() : super.created(); |
+} |