| Index: runtime/observatory/lib/src/elements/script_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/script_view.html b/runtime/observatory/lib/src/elements/script_view.html
|
| index 13802d35190bff674b656990fabf3bbe194d09aa..fc391477e0ee4e317efc372a65c9954101035bd3 100644
|
| --- a/runtime/observatory/lib/src/elements/script_view.html
|
| +++ b/runtime/observatory/lib/src/elements/script_view.html
|
| @@ -14,7 +14,6 @@
|
| <nav-menu link="{{ makeLink('/inspect', script) }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| - <nav-control></nav-control>
|
| </nav-bar>
|
|
|
| <template if="{{ args['pos'] == null }}">
|
|
|