Removed polymer & mirror from Observatory

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

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'dart:html';
 import 'dart:async';
 import 'package:observatory/models.dart' as M;
+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/top_menu.dart';
 import 'package:observatory/src/elements/nav/vm_menu.dart';
 import 'package:observatory/src/elements/view_footer.dart';
 
 
 class SentinelViewElement extends HtmlElement implements Renderable {
   static const tag = const Tag<SentinelViewElement>('sentinel-view',
                                                     dependencies: const [
-                                                      NavBarElement.tag,
                                                       NavTopMenuElement.tag,
                                                       NavVMMenuElement.tag,
                                                       NavIsolateMenuElement.tag,
-                                                      NavMenuElement.tag,
                                                       NavNotifyElement.tag,
                                                       ViewFooterElement.tag
                                                     ]);
 
   RenderingScheduler<SentinelViewElement> _r;
 
   Stream<RenderedEvent<SentinelViewElement>> get onRendered => _r.onRendered;
 
   M.VM _vm;
   M.IsolateRef _isolate;
@@ skipping 33 matching lines @@
   @override
   void detached() {
     super.detached();
     _r.disable(notify: true);
     text = '';
     title = '';
   }
 
   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('sentinel', last: true, queue: _r.queue),
-          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('sentinel'),
+        new NavNotifyElement(_notifications, queue: _r.queue)
+      ]),
       new DivElement()..classes = ['content-centered-big']
         ..children = [
           new HeadingElement.h2()
             ..text = 'Sentinel: #{_sentinel.valueAsString}',
           new HRElement(),
           new DivElement()
             ..text = _sentinelKindToDescription(_sentinel.kind),
           new HRElement(),
           new ViewFooterElement(queue: _r.queue)
         ]
@@ skipping 15 matching lines @@
       case M.SentinelKind.optimizedOut:
         return 'This object is no longer needed and has been removed by the '
                'optimizing compiler.';
       case M.SentinelKind.free:
         return '';
     }
     throw new Exception('Unknown SentinelKind: $kind');
   }
 
 }