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