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