| Index: dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/webkit/WebkitScope.java
|
| ===================================================================
|
| --- dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/webkit/WebkitScope.java (revision 37220)
|
| +++ dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/webkit/WebkitScope.java (working copy)
|
| @@ -74,9 +74,13 @@
|
| }
|
|
|
| public boolean isGlobalLike() {
|
| - return isGlobal() || isLibraries() || isClass();
|
| + return isGlobal() || isLibraries() || isClass() || isIsolate();
|
| }
|
|
|
| + public boolean isIsolate() {
|
| + return "isolate".equals(type);
|
| + }
|
| +
|
| public boolean isLibraries() {
|
| // TODO: this scope should be named 'libraries'
|
| return "library".equals(type);
|
|
|