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