| Index: runtime/bin/vmservice/client/lib/src/elements/library_view.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/library_view.dart b/runtime/bin/vmservice/client/lib/src/elements/library_view.dart
|
| index 64d6e6cbdaab87e50598f8ff7c0827af82316703..c5e1af22b6ce0a801c8486e663844754e7320ec5 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/library_view.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/library_view.dart
|
| @@ -24,4 +24,8 @@ class LibraryViewElement extends ObservatoryElement {
|
| void refresh(var done) {
|
| library.reload().whenComplete(done);
|
| }
|
| +
|
| + void refreshCoverage(var done) {
|
| + library.refreshCoverage().whenComplete(done);
|
| + }
|
| }
|
|
|