Chromium Code Reviews| Index: runtime/bin/vmservice/client/lib/src/elements/code_view.dart |
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/code_view.dart b/runtime/bin/vmservice/client/lib/src/elements/code_view.dart |
| index 884241b5c566ed0965f206dcb565fe9270eb51d4..cf3f1919d7337a50ea56148c43674bfb750cc822 100644 |
| --- a/runtime/bin/vmservice/client/lib/src/elements/code_view.dart |
| +++ b/runtime/bin/vmservice/client/lib/src/elements/code_view.dart |
| @@ -4,15 +4,28 @@ |
| library code_view_element; |
| -import 'isolate_element.dart'; |
| +import 'observatory_element.dart'; |
| +import 'package:observatory/service.dart'; |
| import 'package:polymer/polymer.dart'; |
| -import 'package:observatory/app.dart'; |
| @CustomTag('code-view') |
| -class CodeViewElement extends IsolateElement { |
| +class CodeViewElement extends ObservatoryElement { |
| @published Code code; |
| CodeViewElement.created() : super.created(); |
| + void enteredView() { |
| + super.enteredView(); |
| + if (code == null) { |
| + return; |
| + } |
| + // Dereference script. |
| + code.deref(); |
|
turnidge
2014/03/10 21:03:28
I'm wondering whether it makes sense to rename "de
Cutch
2014/03/11 03:17:48
I like it. Done.
|
| + } |
| + |
| + void refresh(var done) { |
| + code.refresh().whenComplete(done); |
| + } |
| + |
| String get cssPanelClass { |
| return 'panel panel-success'; |
| } |