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 704a99e39929c399468d36b1d4a250803e794789..9f5b0ed199355f2a307a0c5d2f64a7c3f2afe555 100644 |
--- a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart |
+++ b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart |
@@ -4,6 +4,7 @@ |
library nav_bar_element; |
+import 'dart:async'; |
import 'dart:html'; |
import 'observatory_element.dart'; |
import 'package:observatory/service.dart'; |
@@ -128,6 +129,23 @@ class NavNotifyItemElement extends ObservatoryElement { |
@published ObservableList<ServiceEvent> events; |
@published ServiceEvent event; |
+ Future resume(_) { |
+ app.removePauseEvents(event.isolate); |
+ return event.isolate.resume(); |
+ } |
+ Future stepInto(_) { |
+ app.removePauseEvents(event.isolate); |
+ return event.isolate.stepInto(); |
+ } |
+ Future stepOver(_) { |
+ app.removePauseEvents(event.isolate); |
+ return event.isolate.stepOver(); |
+ } |
+ Future stepOut(_) { |
+ app.removePauseEvents(event.isolate); |
+ return event.isolate.stepOut(); |
+ } |
+ |
void closeItem(MouseEvent e, var detail, Element target) { |
events.remove(event); |
} |