| 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 c251423151c3079ac72ad3269417efa7705f8949..2c2c64a0fbe53c06a666357429417ed3b30633a1 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/script_view.html
|
| @@ -9,7 +9,6 @@
|
| <top-nav-menu></top-nav-menu>
|
| <isolate-nav-menu isolate="{{ script.isolate }}">
|
| </isolate-nav-menu>
|
| - <library-nav-menu library="{{ script.library }}"></library-nav-menu>
|
| <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}">
|
| <li>
|
| <input type="checkbox" checked="{{ showCoverage }}">
|
|
|