| 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 b3ec261cad5a7f309935d0525b786fe559afe85a..e27bf9ee149d2bed0b45e5fa8dd9ce4786a4effa 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| @@ -18,14 +18,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;
|
|
|