Index: runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html |
diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html b/runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html |
index 6212830471d07ca23029db967acb2ddef0909434..05c884d0d6a5bb4fdf3b4ef78a73cff6582febe8 100644 |
--- a/runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html |
+++ b/runtime/bin/vmservice/client/lib/src/observatory_elements/script_view.html |
@@ -1,8 +1,17 @@ |
<head> |
+ <link rel="import" href="nav_bar.html"> |
<link rel="import" href="observatory_element.html"> |
</head> |
<polymer-element name="script-view" extends="observatory-element"> |
<template> |
+ <nav-bar> |
+ <top-nav-menu></top-nav-menu> |
+ <isolate-nav-menu app="{{ app }}" isolate="{{ app.locationManager.currentIsolate() }}"> |
+ </isolate-nav-menu> |
+ <library-nav-menu app="{{ app }}" library="{{ script.libraryRef }}"></library-nav-menu> |
+ <nav-menu link="." anchor="{{ script.shortName }}" last="{{ true }}"></nav-menu> |
+ </nav-bar> |
+ |
<div class="row"> |
<div class="col-md-8 col-md-offset-2"> |
<div class="panel-heading"> |
@@ -25,4 +34,4 @@ |
</div> |
</template> |
<script type="application/dart" src="script_view.dart"></script> |
-</polymer-element> |
+</polymer-element> |