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