| OLD | NEW |
| 1 <head> | 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> |
| 2 <link rel="import" href="nav_bar.html"> | 2 <link rel="import" href="nav_bar.html"> |
| 3 <link rel="import" href="observatory_element.html"> | 3 <link rel="import" href="observatory_element.html"> |
| 4 <link rel="import" href="script_inset.html"> | 4 <link rel="import" href="script_inset.html"> |
| 5 </head> | 5 |
| 6 <polymer-element name="script-view" extends="observatory-element"> | 6 <polymer-element name="script-view" extends="observatory-element"> |
| 7 <template> | 7 <template> |
| 8 <link rel="stylesheet" href="css/shared.css"> | 8 <link rel="stylesheet" href="css/shared.css"> |
| 9 <nav-bar> | 9 <nav-bar> |
| 10 <top-nav-menu></top-nav-menu> | 10 <top-nav-menu></top-nav-menu> |
| 11 <isolate-nav-menu isolate="{{ script.isolate }}"> | 11 <isolate-nav-menu isolate="{{ script.isolate }}"> |
| 12 </isolate-nav-menu> | 12 </isolate-nav-menu> |
| 13 <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}"> | 13 <nav-menu link="." anchor="{{ script.name }}" last="{{ true }}"> |
| 14 <li> | 14 <li> |
| 15 <input type="checkbox" checked="{{ showCoverage }}"> | 15 <input type="checkbox" checked="{{ showCoverage }}"> |
| 16 <label>Show Coverage Data</label> | 16 <label>Show Coverage Data</label> |
| 17 </li> | 17 </li> |
| 18 </nav-menu> | 18 </nav-menu> |
| 19 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav
-refresh> | 19 <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav
-refresh> |
| 20 <nav-refresh callback="{{ refresh }}"></nav-refresh> | 20 <nav-refresh callback="{{ refresh }}"></nav-refresh> |
| 21 <nav-control></nav-control> | 21 <nav-control></nav-control> |
| 22 </nav-bar> | 22 </nav-bar> |
| 23 | 23 |
| 24 <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstToken
Pos }}" endPos="{{ script.lastTokenPos }}"> | 24 <script-inset id="scriptInset" script="{{ script }}" pos="{{ script.firstToken
Pos }}" endPos="{{ script.lastTokenPos }}"> |
| 25 <h1>script {{ script.name }}</h1> | 25 <h1>script {{ script.name }}</h1> |
| 26 </script-inset> | 26 </script-inset> |
| 27 </template> | 27 </template> |
| 28 <script type="application/dart" src="script_view.dart"></script> | |
| 29 </polymer-element> | 28 </polymer-element> |
| 29 |
| 30 <script type="application/dart" src="script_view.dart"></script> |
| OLD | NEW |