Removed polymer & mirror from Observatory

runtime/observatory/lib/src/elements/error_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 error_view_element;
 
 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/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/top_menu.dart';
 import 'package:observatory/src/elements/view_footer.dart';
 
 class ErrorViewElement extends HtmlElement implements Renderable{
   static const tag = const Tag<ErrorViewElement>('error-view',
-                     dependencies: const [NavBarElement.tag,
-                                          NavTopMenuElement.tag,
+                     dependencies: const [NavTopMenuElement.tag,
                                           NavNotifyElement.tag,
                                           ViewFooterElement.tag]);
 
   RenderingScheduler _r;
 
   Stream<RenderedEvent<ErrorViewElement>> get onRendered =>
       _r.onRendered;
 
   M.Error _error;
   M.NotificationRepository _notifications;
@@ skipping 22 matching lines @@
 
   @override
   void detached() {
     super.detached();
     children = [];
     _r.disable(notify: true);
   }
 
   void render() {
     children = [
-      new NavBarElement(queue: _r.queue)
-        ..children = [
-          new NavTopMenuElement(last: true, queue: _r.queue),
-          new NavNotifyElement(_notifications, queue: _r.queue)
-        ],
+      navBar([
+        new NavTopMenuElement(queue: _r.queue),
+        new NavNotifyElement(_notifications, queue: _r.queue)
+      ]),
       new DivElement()
         ..classes = ['content-centered']
         ..children = [
           new HeadingElement.h1()
             ..text = 'Error: ${_kindToString(_error.kind)}',
           new BRElement(),
           new DivElement()..classes = ['well']
             ..children = [
               new PreElement()..text = error.message
             ]
         ],
       new ViewFooterElement(queue: _r.queue)
     ];
   }
 
   static String _kindToString(M.ErrorKind kind) {
     switch(kind) {
       case M.ErrorKind.unhandledException:
         return 'Unhandled Exception';
       case M.ErrorKind.languageError:
         return 'Language Error';
       case M.ErrorKind.internalError:
         return 'Internal Error';
       case M.ErrorKind.terminationError:
         return 'Termination Error';
     }
     throw new Exception('Unkown M.ErrorKind ($kind)');
   }
 }