Removed polymer & mirror from Observatory

runtime/observatory/lib/src/elements/objectpool_view.dart

Index: runtime/observatory/lib/src/elements/objectpool_view.dart
diff --git a/runtime/observatory/lib/src/elements/objectpool_view.dart b/runtime/observatory/lib/src/elements/objectpool_view.dart
index 9d26998cfe48ecbc27a07dbb9c4adc63b93a4d6d..24ac0477eb2b3df45fca3d0c7752b24866b0fd4f 100644
--- a/runtime/observatory/lib/src/elements/objectpool_view.dart
+++ b/runtime/observatory/lib/src/elements/objectpool_view.dart
@@ -10,11 +10,11 @@ import 'package:observatory/models.dart' as M;
 import 'package:observatory/src/elements/context_ref.dart';
 import 'package:observatory/src/elements/curly_block.dart';
 import 'package:observatory/src/elements/helpers/any_ref.dart';
+import 'package:observatory/src/elements/helpers/nav_bar.dart';
+import 'package:observatory/src/elements/helpers/nav_menu.dart';
 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart';
 import 'package:observatory/src/elements/helpers/tag.dart';
-import 'package:observatory/src/elements/nav/bar.dart';
 import 'package:observatory/src/elements/nav/isolate_menu.dart';
-import 'package:observatory/src/elements/nav/menu.dart';
 import 'package:observatory/src/elements/nav/notify.dart';
 import 'package:observatory/src/elements/nav/refresh.dart';
 import 'package:observatory/src/elements/nav/top_menu.dart';
@@ -27,11 +27,9 @@ class ObjectPoolViewElement  extends HtmlElement implements Renderable {
                                                     dependencies: const [
                                                       ContextRefElement.tag,
                                                       CurlyBlockElement.tag,
-                                                      NavBarElement.tag,
                                                       NavTopMenuElement.tag,
                                                       NavVMMenuElement.tag,
                                                       NavIsolateMenuElement.tag,
-                                                      NavMenuElement.tag,
                                                       NavRefreshElement.tag,
                                                       NavNotifyElement.tag,
                                                       ObjectCommonElement.tag,
@@ -115,20 +113,19 @@ class ObjectPoolViewElement  extends HtmlElement implements Renderable {
 
   void render() {
     children = [
-      new NavBarElement(queue: _r.queue)
-        ..children = [
-          new NavTopMenuElement(queue: _r.queue),
-          new NavVMMenuElement(_vm, _events, queue: _r.queue),
-          new NavIsolateMenuElement(_isolate, _events, queue: _r.queue),
-          new NavMenuElement('instance', last: true, queue: _r.queue),
-          new NavRefreshElement(queue: _r.queue)
-              ..onRefresh.listen((e) async {
-                e.element.disabled = true;
-                _pool = await _pools.get(_isolate, _pool.id);
-                _r.dirty();
-              }),
-          new NavNotifyElement(_notifications, queue: _r.queue)
-        ],
+      navBar([
+        new NavTopMenuElement(queue: _r.queue),
+        new NavVMMenuElement(_vm, _events, queue: _r.queue),
+        new NavIsolateMenuElement(_isolate, _events, queue: _r.queue),
+        navMenu('instance'),
+        new NavRefreshElement(queue: _r.queue)
+            ..onRefresh.listen((e) async {
+              e.element.disabled = true;
+              _pool = await _pools.get(_isolate, _pool.id);
+              _r.dirty();
+            }),
+        new NavNotifyElement(_notifications, queue: _r.queue)
+      ]),
       new DivElement()..classes = ['content-centered-big']
         ..children = [
           new HeadingElement.h2()..text = 'Object Pool',