| Index: runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| index 96cb731598d515fc4454d225089d69983b7a5b3d..aaebe1d6cb76fcf278e9c6a90fed468b3aea1040 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| @@ -5,9 +5,8 @@
|
| library nav_bar_element;
|
|
|
| import 'dart:html';
|
| -import 'isolate_element.dart';
|
| import 'observatory_element.dart';
|
| -import 'package:observatory/app.dart';
|
| +import 'package:observatory/service.dart';
|
| import 'package:polymer/polymer.dart';
|
|
|
|
|
| @@ -33,10 +32,20 @@ class NavMenuItemElement extends ObservatoryElement {
|
| NavMenuItemElement.created() : super.created();
|
| }
|
|
|
| +@CustomTag('nav-menu-item-checkbox')
|
| +class NavMenuItemCheckboxElement extends ObservatoryElement {
|
| + @published String label;
|
| + @published bool checked;
|
| +
|
| + NavMenuItemCheckboxElement.created() : super.created();
|
| +}
|
| +
|
| +
|
| @CustomTag('nav-refresh')
|
| class NavRefreshElement extends ObservatoryElement {
|
| @published var callback;
|
| @published bool active = false;
|
| + @published String label = 'Refresh';
|
|
|
| NavRefreshElement.created() : super.created();
|
|
|
| @@ -63,23 +72,24 @@ class TopNavMenuElement extends ObservatoryElement {
|
| }
|
|
|
| @CustomTag('isolate-nav-menu')
|
| -class IsolateNavMenuElement extends IsolateElement {
|
| +class IsolateNavMenuElement extends ObservatoryElement {
|
| @published bool last = false;
|
| + @published Isolate isolate;
|
|
|
| IsolateNavMenuElement.created() : super.created();
|
| }
|
|
|
| @CustomTag('library-nav-menu')
|
| -class LibraryNavMenuElement extends IsolateElement {
|
| - @published Map library;
|
| +class LibraryNavMenuElement extends ObservatoryElement {
|
| + @published ServiceMap library;
|
| @published bool last = false;
|
|
|
| LibraryNavMenuElement.created() : super.created();
|
| }
|
|
|
| @CustomTag('class-nav-menu')
|
| -class ClassNavMenuElement extends IsolateElement {
|
| - @published Map cls;
|
| +class ClassNavMenuElement extends ObservatoryElement {
|
| + @published ServiceMap cls;
|
| @published bool last = false;
|
|
|
| ClassNavMenuElement.created() : super.created();
|
|
|