| Index: runtime/observatory/lib/src/app/page.dart
|
| diff --git a/runtime/observatory/lib/src/app/page.dart b/runtime/observatory/lib/src/app/page.dart
|
| index 87a7528935330e83835dc8f8e4bf6b01c237b191..cdcb45716cd7e0864d4bc9967c0fef54ed25b118 100644
|
| --- a/runtime/observatory/lib/src/app/page.dart
|
| +++ b/runtime/observatory/lib/src/app/page.dart
|
| @@ -434,19 +434,33 @@ class ClassTreePage extends SimplePage {
|
| }
|
| }
|
|
|
| -class DebuggerPage extends SimplePage {
|
| - DebuggerPage(app) : super('debugger', 'debugger-page', app);
|
| +class DebuggerPage extends MatchingPage {
|
| + DebuggerPage(app) : super('debugger', app);
|
| +
|
| + final DivElement container = new DivElement();
|
|
|
| void _visit(Uri uri) {
|
| super._visit(uri);
|
| - getIsolate(uri).then((isolate) {
|
| - if (element != null) {
|
| - /// Update the page.
|
| - DebuggerPageElement page = element;
|
| - page.isolate = isolate;
|
| - }
|
| + getIsolate(uri).then((isolate) async {
|
| + container.children = [
|
| + new DebuggerPageElement(isolate, _instanceRepository,
|
| + _scriptRepository, app.events)
|
| + ];
|
| });
|
| }
|
| +
|
| + void onInstall() {
|
| + if (element == null) {
|
| + element = container;
|
| + }
|
| + assert(element != null);
|
| + }
|
| +
|
| + @override
|
| + void onUninstall() {
|
| + assert(element != null);
|
| + element.children = const [];
|
| + }
|
| }
|
|
|
| class ObjectStorePage extends MatchingPage {
|
|
|