| 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;
|
|
|