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