Removed polymer & mirror from Observatory

runtime/observatory/lib/src/elements/timeline_page.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 timeline_page_element;
 
 import 'dart:async';
 import 'dart:html';
 import 'dart:convert';
 import 'package:observatory/service.dart' as S;
 import 'package:observatory/service_html.dart' as SH;
 import 'package:observatory/models.dart' as M;
+import 'package:observatory/src/elements/helpers/nav_bar.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/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';
 
 enum _Profile {
   none,
   dart,
   vm,
   all,
   custom
 }
 
 class TimelinePageElement extends HtmlElement implements Renderable {
   static const tag = const Tag<TimelinePageElement>('timeline-page',
                                                     dependencies: const [
-                                                      NavBarElement.tag,
                                                       NavTopMenuElement.tag,
                                                       NavVMMenuElement.tag,
                                                       NavRefreshElement.tag,
                                                       NavNotifyElement.tag
                                                     ]);
 
   RenderingScheduler<TimelinePageElement> _r;
 
   Stream<RenderedEvent<TimelinePageElement>> get onRendered => _r.onRendered;
 
@@ skipping 71 matching lines @@
               new DivElement()..classes = ['memberName']
                 ..text = 'Recorded Streams:',
               new DivElement()..classes = ['memberValue']
                 ..children =
                   _availableStreams.map(_makeStreamToggle).toList()
             ]
         ]
     ];
     if (children.isEmpty) {
       children = [
-        new NavBarElement(queue: _r.queue)
-          ..children = [
-            new NavTopMenuElement(queue: _r.queue),
-            new NavVMMenuElement(_vm, _events, last: true, queue: _r.queue),
-            new NavRefreshElement(queue: _r.queue)
-                ..onRefresh.listen((e) async {
-                  e.element.disabled = true;
-                  await _refresh();
-                  e.element.disabled = false;
-                }),
-            new NavRefreshElement(label: 'clear', queue: _r.queue)
-                ..onRefresh.listen((e) async {
-                  e.element.disabled = true;
-                  await _clear();
-                  e.element.disabled = false;
-                }),
-            new NavRefreshElement(label: 'save', queue: _r.queue)
-                ..onRefresh.listen((e) async {
-                  e.element.disabled = true;
-                  await _save();
-                  e.element.disabled = false;
-                }),
-            new NavRefreshElement(label: 'load', queue: _r.queue)
-                ..onRefresh.listen((e) async {
-                  e.element.disabled = true;
-                  await _load();
-                  e.element.disabled = false;
-                }),
-            new NavNotifyElement(_notifications, queue: _r.queue)
-          ],
+        navBar([
+          new NavTopMenuElement(queue: _r.queue),
+          new NavVMMenuElement(_vm, _events, queue: _r.queue),
+          new NavRefreshElement(queue: _r.queue)
+              ..onRefresh.listen((e) async {
+                e.element.disabled = true;
+                await _refresh();
+                e.element.disabled = false;
+              }),
+          new NavRefreshElement(label: 'clear', queue: _r.queue)
+              ..onRefresh.listen((e) async {
+                e.element.disabled = true;
+                await _clear();
+                e.element.disabled = false;
+              }),
+          new NavRefreshElement(label: 'save', queue: _r.queue)
+              ..onRefresh.listen((e) async {
+                e.element.disabled = true;
+                await _save();
+                e.element.disabled = false;
+              }),
+          new NavRefreshElement(label: 'load', queue: _r.queue)
+              ..onRefresh.listen((e) async {
+                e.element.disabled = true;
+                await _load();
+                e.element.disabled = false;
+              }),
+          new NavNotifyElement(_notifications, queue: _r.queue)
+        ]),
         _content,
         new DivElement()..classes = ['iframe']
           ..children = [
             _frame
           ]
       ];
     }
   }
 
   List<Element> _createProfileSelect() {
@@ skipping 147 matching lines @@
     _availableStreams.clear();
     response['availableStreams'].forEach(
         (String streamName) => _availableStreams.add(streamName));
     // Update the set of recorded streams.
     _recordedStreams.clear();
     response['recordedStreams'].forEach(
         (String streamName) => _recordedStreams.add(streamName));
     _r.dirty();
   }
 }