Removed polymer & mirror from Observatory

runtime/observatory/lib/src/elements/library_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 library_view_element;
 
 import 'dart:async';
 import 'dart:html';
 import 'package:observatory/models.dart' as M;
 import 'package:observatory/src/elements/class_ref.dart';
 import 'package:observatory/src/elements/curly_block.dart';
 import 'package:observatory/src/elements/eval_box.dart';
 import 'package:observatory/src/elements/field_ref.dart';
 import 'package:observatory/src/elements/function_ref.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/library_ref.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/library_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_ref.dart';
 import 'package:observatory/src/elements/script_inset.dart';
 import 'package:observatory/src/elements/view_footer.dart';
 
 class LibraryViewElement  extends HtmlElement implements Renderable {
   static const tag = const Tag<LibraryViewElement>('library-view',
                                                    dependencies: const [
                                                      ClassRefElement.tag,
                                                      CurlyBlockElement.tag,
                                                      EvalBoxElement.tag,
                                                      FieldRefElement.tag,
                                                      FunctionRefElement.tag,
                                                      LibraryRefElement.tag,
-                                                     NavBarElement.tag,
                                                      NavTopMenuElement.tag,
                                                      NavVMMenuElement.tag,
                                                      NavIsolateMenuElement.tag,
-                                                     NavMenuElement.tag,
+                                                     NavLibraryMenuElement.tag,
                                                      NavRefreshElement.tag,
                                                      NavNotifyElement.tag,
                                                      ObjectCommonElement.tag,
                                                      ScriptRefElement.tag,
                                                      ScriptInsetElement.tag,
                                                      ViewFooterElement.tag
                                                    ]);
 
   RenderingScheduler<LibraryViewElement> _r;
 
@@ skipping 78 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 NavMenuElement('instance', last: true, queue: _r.queue),
-          new NavRefreshElement(queue: _r.queue)
-              ..onRefresh.listen((e) async {
-                e.element.disabled = true;
-                _refresh();
-              }),
-          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, _library, queue: _r.queue),
+        new NavRefreshElement(queue: _r.queue)
+            ..onRefresh.listen((e) async {
+              e.element.disabled = true;
+              _refresh();
+            }),
+        new NavNotifyElement(_notifications, queue: _r.queue)
+      ]),
       new DivElement()..classes = ['content-centered-big']
         ..children = [
           new HeadingElement.h2()..text = 'ICData',
           new HRElement(),
           new ObjectCommonElement(_isolate, _library, _retainedSizes,
                                   _reachableSizes, _references, _retainingPaths,
                                   _instances, queue: _r.queue),
           new DivElement()..classes = ['memberList']
             ..children = [
               new DivElement()..classes = ['memberItem']
@@ skipping 44 matching lines @@
 
   Element _createDependencies() {
     if (_library.dependencies.isEmpty) {
       return new SpanElement();
     }
     final dependencies = _library.dependencies.toList();
     return new DivElement()
       ..children = [
         new SpanElement()..text = 'dependencies (${dependencies.length}) ',
         new CurlyBlockElement(queue: _r.queue)
-          ..children = dependencies.map((d) =>
+          ..content = dependencies.map((d) =>
             new DivElement()..classes = ['indent']
               ..children = [
                 new SpanElement()..text = d.isImport ? 'import ' : 'export ',
                 new LibraryRefElement(_isolate, d.target, queue: _r.queue),
                 new SpanElement()..text = d.prefix == null ? ''
                                                            : ' as ${d.prefix}',
                 new SpanElement()..text = d.isDeferred ? ' deferred' : '',
               ]).toList()
       ];
   }
 
   Element _createScripts() {
     if (_library.scripts.isEmpty) {
       return new SpanElement();
     }
     final scripts = _library.scripts.toList();
     return new DivElement()
       ..children = [
         new SpanElement()..text = 'scripts (${scripts.length}) ',
         new CurlyBlockElement(queue: _r.queue)
-          ..children = scripts.map((s) =>
+          ..content = scripts.map((s) =>
             new DivElement()..classes = ['indent']
               ..children = [
                 new ScriptRefElement(_isolate, s, queue: _r.queue)
               ]).toList()
       ];
   }
 
   Element _createClasses() {
     if (_library.classes.isEmpty) {
       return new SpanElement();
     }
     final classes = _library.classes.toList();
     return new DivElement()
       ..children = [
         new SpanElement()..text = 'classes (${classes.length}) ',
         new CurlyBlockElement(queue: _r.queue)
-          ..children = classes.map((c) =>
+          ..content = classes.map((c) =>
             new DivElement()..classes = ['indent']
               ..children = [
                 new ClassRefElement(_isolate, c, queue: _r.queue)
               ]).toList()
       ];
   }
 
   Element _createVariables() {
     if (_library.variables.isEmpty) {
       return new SpanElement();
     }
     final variables = _library.variables.toList();
     return new DivElement()
       ..children = [
         new SpanElement()..text = 'variables (${variables.length}) ',
         new CurlyBlockElement(queue: _r.queue)
-          ..children = [
+          ..content = [
             _variables == null
               ? (new SpanElement()..text = 'loading...')
               : (new DivElement()..classes = ['indent', 'memberList']
                   ..children = _variables.map((f) =>
                     new DivElement()..classes = ['memberItem']
                       ..children = [
                         new DivElement()..classes = ['memberName']
                           ..children = [
                             new FieldRefElement(_isolate, f, _instances,
                                 queue: _r.queue)
@@ skipping 11 matching lines @@
 
   Element _createFunctions() {
     if (_library.functions.isEmpty) {
       return new SpanElement();
     }
     final functions = _library.functions.toList();
     return new DivElement()
       ..children = [
         new SpanElement()..text = 'functions (${functions.length}) ',
         new CurlyBlockElement(queue: _r.queue)
-          ..children = functions.map((f) =>
+          ..content = functions.map((f) =>
             new DivElement()..classes = ['indent']
               ..children = [
                 new FunctionRefElement(_isolate, f, queue: _r.queue)
               ]).toList()
       ];
   }
 }