| Index: runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| diff --git a/runtime/bin/vmservice/client/deployed/web/index_devtools.html b/runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| index f41cdc1314d49fc3b569a79230887da3b7eb5b1c..a0bdcf415b3b4bf9fa8e37b5b6c9b9d2e8660dc9 100644
|
| --- a/runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| +++ b/runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| @@ -722,6 +722,7 @@
|
| </polymer-element>
|
| <polymer-element name="stack-trace" extends="observatory-element">
|
| <template>
|
| + <button type="button" on-click="{{refresh}}">Refresh</button>
|
| <template if="{{ trace['members'].isEmpty }}">
|
| <div class="col-md-1"></div>
|
| <div class="col-md-11">
|
|
|