| 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 6443a9b5d4abb70486481274afaeec1707fb63b5..28580369462c8e2bb973a78dd8f832400b75ec06 100644
|
| --- a/runtime/observatory/lib/src/elements/script_view.html
|
| +++ b/runtime/observatory/lib/src/elements/script_view.html
|
| @@ -13,6 +13,7 @@
|
| <library-nav-menu library="{{ script.library }}"></library-nav-menu>
|
| <nav-menu link="{{ makeLink('/inspect', script) }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| + <nav-notify notifications="{{ app.notifications }}"></nav-notify>
|
| </nav-bar>
|
|
|
| <div class="content-centered-big">
|
|
|