Removed polymer & mirror from Observatory

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

 // Copyright (c) 2015, 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.
 
 library logging_page;
 
 import 'dart:async';
 import 'dart:html';
 import 'package:logging/logging.dart';
 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/logging_list.dart';
-import 'package:observatory/src/elements/nav/bar.dart';
 import 'package:observatory/src/elements/nav/class_menu.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';
 import 'package:observatory/src/elements/nav/vm_menu.dart';
 import 'package:observatory/src/elements/view_footer.dart';
 
 class LoggingPageElement extends HtmlElement implements Renderable {
   static const tag = const Tag<LoggingPageElement>('logging-page',
                                             dependencies: const [
                                               LoggingListElement.tag,
-                                              NavBarElement.tag,
                                               NavClassMenuElement.tag,
                                               NavTopMenuElement.tag,
                                               NavVMMenuElement.tag,
                                               NavIsolateMenuElement.tag,
-                                              NavMenuElement.tag,
                                               NavRefreshElement.tag,
                                               NavNotifyElement.tag,
                                               ViewFooterElement.tag
                                             ]);
 
   RenderingScheduler<LoggingPageElement> _r;
 
   Stream<RenderedEvent<LoggingPageElement>> get onRendered => _r.onRendered;
 
   M.VM _vm;
@@ skipping 38 matching lines @@
     _r.disable(notify: true);
     children = [];
   }
 
   LoggingListElement _logs;
 
   void render() {
     _logs = _logs ?? new LoggingListElement(_isolate, _events);
     _logs.level = _level;
     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('logging', last: true, queue: _r.queue),
-          new NavRefreshElement(label: 'clear', queue: _r.queue)
-              ..onRefresh.listen((e) async {
-                e.element.disabled = true;
-                _logs = null;
-                _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('logging'),
+        new NavRefreshElement(label: 'clear', queue: _r.queue)
+            ..onRefresh.listen((e) async {
+              e.element.disabled = true;
+              _logs = null;
+              _r.dirty();
+            }),
+        new NavNotifyElement(_notifications, queue: _r.queue)
+      ]),
       new DivElement()..classes = ['content-centered-big']
         ..children = [
           new HeadingElement.h2()..text = 'Logging',
           new SpanElement()
             ..text = 'Show messages with severity ',
           _createLevelSelector(),
           new HRElement(),
           _logs
         ]
     ];
   }
 
   Element _createLevelSelector() {
     var s = new SelectElement()
         ..value = _level.name
         ..children = Level.LEVELS.map((level) {
             return new OptionElement(value : level.name,
                 selected: _level == level)
               ..text = level.name;
           }).toList(growable: false);
     s.onChange.listen((_) {
       _level = Level.LEVELS[s.selectedIndex];
       _r.dirty();
     });
     return s;
   }
 }