Index: runtime/observatory/lib/src/elements/script_view.html |
diff --git a/runtime/observatory/lib/src/elements/script_view.html b/runtime/observatory/lib/src/elements/script_view.html |
index e5aec1826b8d50cca7e6c1821c5834f593abe2e8..7b36afb88e7f8a8125123731495a19bf548efee8 100644 |
--- a/runtime/observatory/lib/src/elements/script_view.html |
+++ b/runtime/observatory/lib/src/elements/script_view.html |
@@ -1,8 +1,6 @@ |
<link rel="import" href="../../../../packages/polymer/polymer.html"> |
-<link rel="import" href="nav_bar.html"> |
<link rel="import" href="observatory_element.html"> |
<link rel="import" href="script_inset.html"> |
-<link rel="import" href="view_footer.html"> |
<polymer-element name="script-view" extends="observatory-element"> |
<template> |
@@ -12,8 +10,10 @@ |
<vm-nav-menu vm="{{ script.isolate.vm }}"></vm-nav-menu> |
<isolate-nav-menu isolate="{{ script.isolate }}"></isolate-nav-menu> |
<library-nav-menu library="{{ script.library }}"></library-nav-menu> |
- <nav-menu link="{{ makeLink('/inspect', script) }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu> |
+ <nav-menu link="{{ makeLink('/inspect', script) }}" |
+ anchor="{{ script.name }}" last="{{ true }}"></nav-menu> |
<nav-refresh callback="{{ refresh }}"></nav-refresh> |
+ <nav-notify notifications="{{ app.notifications }}"></nav-notify> |
</nav-bar> |
<div class="content-centered-big"> |