Index: runtime/observatory/lib/src/elements/persistent_handles.html |
diff --git a/runtime/observatory/lib/src/elements/persistent_handles.html b/runtime/observatory/lib/src/elements/persistent_handles.html |
index 90054945f83e21d17902e4f7f7c74db7ab252e5f..2dcf9b8d338b0201b56d310ebfee0956957e1baf 100644 |
--- a/runtime/observatory/lib/src/elements/persistent_handles.html |
+++ b/runtime/observatory/lib/src/elements/persistent_handles.html |
@@ -1,5 +1,4 @@ |
<link rel="import" href="../../../../packages/polymer/polymer.html"> |
-<link rel="import" href="nav_bar.html"> |
<link rel="import" href="observatory_element.html"> |
<polymer-element name="persistent-handles-page" extends="observatory-element"> |
@@ -54,8 +53,10 @@ |
<top-nav-menu></top-nav-menu> |
<vm-nav-menu vm="{{ isolate.vm }}"></vm-nav-menu> |
<isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu> |
- <nav-menu link="{{ makeLink('/persistent-handles', isolate) }}" anchor="persistent handles" last="{{ true }}"></nav-menu> |
+ <nav-menu link="{{ makeLink('/persistent-handles', isolate) }}" |
+ anchor="persistent handles" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content-centered-big"> |
<template if="{{ persistentHandles.isEmpty }}"> |