| Index: runtime/observatory/lib/src/elements/isolate_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/isolate_view.html b/runtime/observatory/lib/src/elements/isolate_view.html
|
| index a2fe66d85dd013a076bb1f9aeaa8646bb0a889db..69c30edcaf919124fdfecc80a4f469a31a1c7df1 100644
|
| --- a/runtime/observatory/lib/src/elements/isolate_view.html
|
| +++ b/runtime/observatory/lib/src/elements/isolate_view.html
|
| @@ -94,7 +94,16 @@
|
| <div class="memberName">service protocol extensions</div>
|
| <div class="memberValue">{{ isolate.extensionRPCs }}</div>
|
| </div>
|
| +
|
| + <div class="memberItem">
|
| + <div class="memberName">
|
| + <action-link callback="{{ reloadSources }}"
|
| + label="reload sources">
|
| + </action-link>
|
| + </div>
|
| + </div>
|
| </div>
|
| +
|
| </div>
|
| </div>
|
| </div>
|
|
|