Index: dart/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/library_view.html |
=================================================================== |
--- dart/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/library_view.html (revision 37220) |
+++ dart/runtime/bin/vmservice/client/deployed/web/packages/observatory/src/elements/library_view.html (working copy) |
@@ -19,6 +19,7 @@ |
<isolate-nav-menu isolate="{{ library.isolate }}"></isolate-nav-menu> |
<library-nav-menu library="{{ library }}" last="{{ true }}"></library-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-control></nav-control> |
</nav-bar> |
<div class="content"> |