| Index: runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/script_view.html b/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| index accb51f67ba63b633920e6988623e8f3e8f44eff..07cd6dc27a1cf0298e20f680bbdd6ce6a5748372 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| @@ -17,8 +17,8 @@
|
| </li>
|
| </nav-menu>
|
| <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| - <nav-refresh callback="{{ refresh }}">
|
| - </nav-refresh>
|
| + <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| + <nav-control></nav-control>
|
| </nav-bar>
|
|
|
| <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstTokenPos }}" endPos="{{ script.lastTokenPos }}">
|
|
|