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 fa1eee69667edbc1255f6b5a26009ba972fc8421..88d987bdc7904e85127adabf8122f89c53d1c643 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.dart |
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart |
@@ -45,14 +45,6 @@ class VMNavMenuElement extends ObservatoryElement { |
VMNavMenuElement.created() : super.created(); |
} |
-@CustomTag('isolate-nav-menu') |
-class IsolateNavMenuElement extends ObservatoryElement { |
- @published bool last = false; |
- @published Isolate isolate; |
- |
- IsolateNavMenuElement.created() : super.created(); |
-} |
- |
@CustomTag('library-nav-menu') |
class LibraryNavMenuElement extends ObservatoryElement { |
@published Library library; |