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 }}"> |