Index: runtime/observatory/lib/src/elements/ports.html |
diff --git a/runtime/observatory/lib/src/elements/ports.html b/runtime/observatory/lib/src/elements/ports.html |
index d5b3152cbc2755de40811dd94861ed4dfb767bd2..4d3f7ac78c4f0997f22f88cd3401461da56c1672 100644 |
--- a/runtime/observatory/lib/src/elements/ports.html |
+++ b/runtime/observatory/lib/src/elements/ports.html |
@@ -22,6 +22,7 @@ |
<isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu> |
<nav-menu link="{{ makeLink('/ports', isolate) }}" anchor="ports" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
<h1>Ports ({{ports.length}})</h1> |