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