| Index: runtime/observatory/lib/src/elements/persistent_handles.html
|
| diff --git a/runtime/observatory/lib/src/elements/persistent_handles.html b/runtime/observatory/lib/src/elements/persistent_handles.html
|
| index 90054945f83e21d17902e4f7f7c74db7ab252e5f..4f10661891aaaa9557f4574c24f5e592a940f4ab 100644
|
| --- a/runtime/observatory/lib/src/elements/persistent_handles.html
|
| +++ b/runtime/observatory/lib/src/elements/persistent_handles.html
|
| @@ -56,6 +56,7 @@
|
| <isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu>
|
| <nav-menu link="{{ makeLink('/persistent-handles', isolate) }}" anchor="persistent handles" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| + <nav-notify notifications="{{ app.notifications }}"></nav-notify>
|
| </nav-bar>
|
| <div class="content-centered-big">
|
| <template if="{{ persistentHandles.isEmpty }}">
|
|
|