| Index: runtime/bin/vmservice/client/lib/src/elements/script_view.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/script_view.dart b/runtime/bin/vmservice/client/lib/src/elements/script_view.dart
|
| index 5971488c1f4c2d41583cd8c032cf99b9cf68ed5c..ea50501c5031f8c5ae5be236dfe2fd9af49b4da5 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/script_view.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/script_view.dart
|
| @@ -35,6 +35,10 @@ class ScriptViewElement extends ObservatoryElement {
|
| }
|
|
|
| void refreshCoverage(var done) {
|
| - script.isolate.refreshCoverage().whenComplete(done);
|
| + script.isolate.refreshCoverage().then((_) {
|
| + ScriptInsetElement sie = shadowRoot.querySelector('#scriptInset');
|
| + showCoverage = true;
|
| + sie.coverage = showCoverage;
|
| + }).whenComplete(done);
|
| }
|
| }
|
|
|