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 6317b51959545fe04943b345ed5ae12a21aa025d..6468aeea17399a77c22047734e2b0e9fa6a8fc40 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.dart |
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart |
@@ -37,14 +37,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; |