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 0f87a2ed7918261c9f2cb1d93c9d83e5f9ba9098..6c770baa76d1a68393b64ab8ee95fded17bc69e0 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.dart |
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart |
@@ -28,22 +28,6 @@ class TopNavMenuElement extends ObservatoryElement { |
TopNavMenuElement.created() : super.created(); |
} |
-@CustomTag('vm-nav-menu') |
-class VMNavMenuElement extends ObservatoryElement { |
- @published bool last = false; |
- @published VM vm; |
- |
- String nameAndAddress(name, target) { |
- if (name != null && target != null) { |
- return '${name}@${target.networkAddress}'; |
- } else { |
- return '<initializing>'; |
- } |
- } |
- |
- VMNavMenuElement.created() : super.created(); |
-} |
- |
@CustomTag('isolate-nav-menu') |
class IsolateNavMenuElement extends ObservatoryElement { |
@published bool last = false; |