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 fb241d4fae420e98fcd022b96e7d5f08b24bf11e..473499058cf8af610d62238131cfe11372d3a821 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(); |
+} |