| <head> |
| <link rel="import" href="nav_bar.html"> |
| <link rel="import" href="observatory_element.html"> |
| <link rel="import" href="script_inset.html"> |
| </head> |
| <polymer-element name="script-view" extends="observatory-element"> |
| <template> |
| <link rel="stylesheet" href="css/shared.css"> |
| <nav-bar> |
| <top-nav-menu></top-nav-menu> |
| <isolate-nav-menu isolate="{{ script.isolate }}"> |
| </isolate-nav-menu> |
| <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}"> |
| <li> |
| <input type="checkbox" checked="{{ showCoverage }}"> |
| <label>Show Coverage Data</label> |
| </li> |
| </nav-menu> |
| <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh> |
| <nav-refresh callback="{{ refresh }}"></nav-refresh> |
| <nav-control></nav-control> |
| </nav-bar> |
| |
| <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstTokenPos }}" endPos="{{ script.lastTokenPos }}"> |
| <h1>script {{ script.name }}</h1> |
| </script-inset> |
| </template> |
| <script type="application/dart" src="script_view.dart"></script> |
| </polymer-element> |
