Removed polymer & mirror from Observatory

runtime/observatory/lib/src/elements/script_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.
 
 library script_view;
 
 import 'dart:async';
 import 'dart:html';
 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/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/library_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/object_common.dart';
 import 'package:observatory/src/elements/script_inset.dart';
 import 'package:observatory/src/elements/view_footer.dart';
 
 class ScriptViewElement extends HtmlElement implements Renderable {
   static const tag = const Tag<ScriptViewElement>('script-view',
                                                   dependencies: const [
                                                     ContextRefElement.tag,
                                                     CurlyBlockElement.tag,
-                                                    NavBarElement.tag,
                                                     NavTopMenuElement.tag,
                                                     NavVMMenuElement.tag,
                                                     NavIsolateMenuElement.tag,
                                                     NavLibraryMenuElement.tag,
-                                                    NavMenuElement.tag,
                                                     NavRefreshElement.tag,
                                                     NavNotifyElement.tag,
                                                     ObjectCommonElement.tag,
                                                     ScriptInsetElement.tag,
                                                     ViewFooterElement.tag
                                                   ]);
 
   RenderingScheduler<ScriptViewElement> _r;
 
   Stream<RenderedEvent<ScriptViewElement>> get onRendered =>
@@ skipping 67 matching lines @@
 
   @override
   detached() {
     super.detached();
     _r.disable(notify: true);
     children = [];
   }
 
   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 NavLibraryMenuElement(_isolate, _script.library, queue: _r.queue),
-          new NavMenuElement('object', last: true, queue: _r.queue),
-          new NavRefreshElement(queue: _r.queue)
-              ..onRefresh.listen((e) async {
-                e.element.disabled = true;
-                _script = await _scripts.get(_isolate, _script.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),
+        new NavLibraryMenuElement(_isolate, _script.library, queue: _r.queue),
+        navMenu('object'),
+        new NavRefreshElement(queue: _r.queue)
+            ..onRefresh.listen((e) async {
+              e.element.disabled = true;
+              _script = await _scripts.get(_isolate, _script.id);
+              _r.dirty();
+            }),
+        new NavNotifyElement(_notifications, queue: _r.queue)
+      ]),
       new DivElement()..classes = ['content-centered-big']
         ..children = [
           new HeadingElement.h2()..text = 'Script',
           new HRElement(),
           new ObjectCommonElement(_isolate, _script, _retainedSizes,
                                   _reachableSizes, _references, _retainingPaths,
                                   _instances, queue: _r.queue),
           new BRElement(),
           new DivElement()..classes = ['memberList']
             ..children = [
               new DivElement()..classes = ['memberItem']
                 ..children = [
                   new DivElement()..classes = ['memberName']
                     ..text = 'load time',
                   new DivElement()..classes = ['memberName']
                     ..text = '${_script.loadTime}'
                 ],
             ],
           new HRElement(),
           new ScriptInsetElement(_isolate, _script, _scripts, _instances,
                                  _events, currentPos: _pos, queue: _r.queue),
           new ViewFooterElement(queue: _r.queue)
         ]
     ];
   }
 }