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 }}"> |