Index: runtime/observatory/lib/src/elements/metrics.html |
diff --git a/runtime/observatory/lib/src/elements/metrics.html b/runtime/observatory/lib/src/elements/metrics.html |
index a6a041177b1c3283dad78260fce6d3023b4c5794..e9573a05ba9c15ec0f750a8fb79b0cbf59dcddc0 100644 |
--- a/runtime/observatory/lib/src/elements/metrics.html |
+++ b/runtime/observatory/lib/src/elements/metrics.html |
@@ -23,6 +23,7 @@ |
<nav-menu link="{{ makeLink('/metrics', isolate) }}" anchor="metrics" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="flex-row"> |
<div class="flex-item-20-percent"> |