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..2190d332dc30cb303efea5034709c77e9a08b8a5 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.dart |
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart |
@@ -61,14 +61,6 @@ class LibraryNavMenuElement extends ObservatoryElement { |
LibraryNavMenuElement.created() : super.created(); |
} |
-@CustomTag('class-nav-menu') |
-class ClassNavMenuElement extends ObservatoryElement { |
- @published Class cls; |
- @published bool last = false; |
- |
- ClassNavMenuElement.created() : super.created(); |
-} |
- |
@CustomTag('nav-notify') |
class NavNotifyElement extends ObservatoryElement { |
@published ObservableList<Notification> notifications; |