| Index: runtime/observatory/lib/src/elements/library_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/library_view.html b/runtime/observatory/lib/src/elements/library_view.html
|
| index 14b16843072d6cb071e21315e6ed18ae46b0a4bd..3f053665133b90e2f1db9af6c0c3078421e7d661 100644
|
| --- a/runtime/observatory/lib/src/elements/library_view.html
|
| +++ b/runtime/observatory/lib/src/elements/library_view.html
|
| @@ -20,6 +20,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-notify notifications="{{ app.notifications }}"></nav-notify>
|
| </nav-bar>
|
|
|
| <div class="content">
|
|
|