Index: runtime/observatory/lib/src/elements/nav_bar.dart |
diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart |
index 31e98adfaffb56690ae1802f4f7183e2322f2672..411346fbcc1d643784f6d0db91e5de564ec47215 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.dart |
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart |
@@ -66,6 +66,14 @@ class TopNavMenuElement extends ObservatoryElement { |
TopNavMenuElement.created() : super.created(); |
} |
+@CustomTag('vm-nav-menu') |
+class VMNavMenuElement extends ObservatoryElement { |
+ @published bool last = false; |
+ @published VM vm; |
+ |
+ VMNavMenuElement.created() : super.created(); |
+} |
+ |
@CustomTag('isolate-nav-menu') |
class IsolateNavMenuElement extends ObservatoryElement { |
@published bool last = false; |