| 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);
|
| }
|
|
|