Index: runtime/observatory/lib/src/elements/io_view.html |
diff --git a/runtime/observatory/lib/src/elements/io_view.html b/runtime/observatory/lib/src/elements/io_view.html |
index fcc83999aceedff42af92e38ae3e1108e672cb39..3c51e53d0ee7c94bcf3689207bdc9be69a49e442 100644 |
--- a/runtime/observatory/lib/src/elements/io_view.html |
+++ b/runtime/observatory/lib/src/elements/io_view.html |
@@ -10,6 +10,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -89,6 +90,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -123,6 +125,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -184,6 +187,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -225,6 +229,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -355,6 +360,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -382,6 +388,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -415,6 +422,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -442,6 +450,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -476,6 +485,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |
@@ -515,6 +525,7 @@ |
<nav-bar> |
<top-nav-menu last="{{ true }}"></top-nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content"> |