Index: runtime/observatory/lib/src/elements/objectpool_view.html |
diff --git a/runtime/observatory/lib/src/elements/objectpool_view.html b/runtime/observatory/lib/src/elements/objectpool_view.html |
index 4177eeabfe714116d068d0425484ec1767e11414..0e158b83d34b9026b48d02400465a55839157c8d 100644 |
--- a/runtime/observatory/lib/src/elements/objectpool_view.html |
+++ b/runtime/observatory/lib/src/elements/objectpool_view.html |
@@ -19,6 +19,7 @@ |
<isolate-nav-menu isolate="{{ pool.isolate }}"></isolate-nav-menu> |
<nav-menu link="." anchor="object" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -48,7 +49,7 @@ |
</div> |
</div> |
- |
+ |
<hr> |
<view-footer></view-footer> |
</template> |