| Index: runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart b/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| index d4457916518a050e9da7f367762e3dc4f58bac37..1283ef5f38138e90b2698a5931643170c32bd7b0 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/observatory/location_manager.dart
|
| @@ -26,6 +26,8 @@ class LocationManager extends Observable {
|
| // We just triggered another onHashChange event.
|
| return;
|
| }
|
| + notifyPropertyChange(#hasCurrentIsolate, !hasCurrentIsolate,
|
| + hasCurrentIsolate);
|
| // Request the current anchor.
|
| requestCurrentHash();
|
| });
|
| @@ -48,7 +50,7 @@ class LocationManager extends Observable {
|
| }
|
|
|
| /// Predicate, does the current URL have a current isolate ID in it?
|
| - bool get hasCurrentIsolate {
|
| + @observable bool get hasCurrentIsolate {
|
| return currentIsolateAnchorPrefix() != null;
|
| }
|
|
|
| @@ -63,6 +65,14 @@ class LocationManager extends Observable {
|
| return prefix.substring(2);
|
| }
|
|
|
| + Isolate currentIsolate() {
|
| + var id = currentIsolateId();
|
| + if (id == '') {
|
| + return null;
|
| + }
|
| + return _application.isolateManager.getIsolate(id);
|
| + }
|
| +
|
| /// If no anchor is set, set the default anchor and return true.
|
| /// Return false otherwise.
|
| bool setDefaultHash() {
|
|
|