| 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 97005edd08db27a694762ae191c57f01a7c570ad..b3ec261cad5a7f309935d0525b786fe559afe85a 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| @@ -10,22 +10,6 @@ import 'package:observatory/service.dart';
|
| import 'package:observatory/app.dart' show Notification;
|
| import 'package:polymer/polymer.dart';
|
|
|
| -@CustomTag('vm-nav-menu')
|
| -class VMNavMenuElement extends ObservatoryElement {
|
| - @published bool last = false;
|
| - @published VM vm;
|
| -
|
| - String nameAndAddress(name, target) {
|
| - if (name != null && target != null) {
|
| - return '${name}@${target.networkAddress}';
|
| - } else {
|
| - return '<initializing>';
|
| - }
|
| - }
|
| -
|
| - VMNavMenuElement.created() : super.created();
|
| -}
|
| -
|
| @CustomTag('library-nav-menu')
|
| class LibraryNavMenuElement extends ObservatoryElement {
|
| @published Library library;
|
|
|