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