Index: runtime/observatory/lib/src/elements/nav_bar.dart |
diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart |
index 0820eb8ed1a02fbc13a875dc1b95ddcb92671aa8..31e98adfaffb56690ae1802f4f7183e2322f2672 100644 |
--- a/runtime/observatory/lib/src/elements/nav_bar.dart |
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart |
@@ -59,19 +59,6 @@ class NavRefreshElement extends ObservatoryElement { |
} |
} |
-@CustomTag('nav-control') |
-class NavControlElement extends ObservatoryElement { |
- NavControlElement.created() : super.created(); |
- |
- void forward(Event e, var detail, Element target) { |
- app.locationManager.forward(); |
- } |
- |
- void back(Event e, var detail, Element target) { |
- app.locationManager.back(); |
- } |
-} |
- |
@CustomTag('top-nav-menu') |
class TopNavMenuElement extends ObservatoryElement { |
@published bool last = false; |
@@ -106,7 +93,7 @@ class ClassNavMenuElement extends ObservatoryElement { |
@CustomTag('nav-notify') |
class NavNotifyElement extends ObservatoryElement { |
@published ObservableList<ServiceEvent> events; |
- |
+ |
NavNotifyElement.created() : super.created(); |
} |
@@ -114,7 +101,7 @@ class NavNotifyElement extends ObservatoryElement { |
class NavNotifyItemElement extends ObservatoryElement { |
@published ObservableList<ServiceEvent> events; |
@published ServiceEvent event; |
- |
+ |
Future resume(_) { |
app.removePauseEvents(event.isolate); |
return event.isolate.resume(); |