| Index: runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/nav_bar.dart b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| similarity index 89%
|
| rename from runtime/bin/vmservice/client/lib/src/observatory_elements/nav_bar.dart
|
| rename to runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| index 625adaec2dc9b3710914132c0d99f455fe209cd6..96cb731598d515fc4454d225089d69983b7a5b3d 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/observatory_elements/nav_bar.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| @@ -5,8 +5,11 @@
|
| library nav_bar_element;
|
|
|
| import 'dart:html';
|
| -import 'package:polymer/polymer.dart';
|
| +import 'isolate_element.dart';
|
| import 'observatory_element.dart';
|
| +import 'package:observatory/app.dart';
|
| +import 'package:polymer/polymer.dart';
|
| +
|
|
|
| @CustomTag('nav-bar')
|
| class NavBarElement extends ObservatoryElement {
|
| @@ -34,7 +37,7 @@ class NavMenuItemElement extends ObservatoryElement {
|
| class NavRefreshElement extends ObservatoryElement {
|
| @published var callback;
|
| @published bool active = false;
|
| -
|
| +
|
| NavRefreshElement.created() : super.created();
|
|
|
| void buttonClick(Event e, var detail, Node target) {
|
| @@ -60,15 +63,14 @@ class TopNavMenuElement extends ObservatoryElement {
|
| }
|
|
|
| @CustomTag('isolate-nav-menu')
|
| -class IsolateNavMenuElement extends ObservatoryElement {
|
| - @published Isolate isolate;
|
| +class IsolateNavMenuElement extends IsolateElement {
|
| @published bool last = false;
|
|
|
| IsolateNavMenuElement.created() : super.created();
|
| }
|
|
|
| @CustomTag('library-nav-menu')
|
| -class LibraryNavMenuElement extends ObservatoryElement {
|
| +class LibraryNavMenuElement extends IsolateElement {
|
| @published Map library;
|
| @published bool last = false;
|
|
|
| @@ -76,7 +78,7 @@ class LibraryNavMenuElement extends ObservatoryElement {
|
| }
|
|
|
| @CustomTag('class-nav-menu')
|
| -class ClassNavMenuElement extends ObservatoryElement {
|
| +class ClassNavMenuElement extends IsolateElement {
|
| @published Map cls;
|
| @published bool last = false;
|
|
|
|
|