| OLD | NEW |
| 1 <head> | 1 <head> |
| 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="isolate_element.html"> |
| 4 </head> | 4 </head> |
| 5 <polymer-element name="script-view" extends="observatory-element"> | 5 <polymer-element name="script-view" extends="isolate-element"> |
| 6 <template> | 6 <template> |
| 7 <nav-bar> | 7 <nav-bar> |
| 8 <top-nav-menu></top-nav-menu> | 8 <top-nav-menu></top-nav-menu> |
| 9 <isolate-nav-menu app="{{ app }}" isolate="{{ app.locationManager.currentIso
late() }}"> | 9 <isolate-nav-menu isolate="{{ isolate }}"> |
| 10 </isolate-nav-menu> | 10 </isolate-nav-menu> |
| 11 <library-nav-menu app="{{ app }}" library="{{ script.libraryRef }}"></librar
y-nav-menu> | 11 <library-nav-menu isolate="{{ isolate }}" library="{{ script.libraryRef }}">
</library-nav-menu> |
| 12 <nav-menu link="." anchor="{{ script.shortName }}" last="{{ true }}"></nav-m
enu> | 12 <nav-menu link="." anchor="{{ script.shortName }}" last="{{ true }}"></nav-m
enu> |
| 13 </nav-bar> | 13 </nav-bar> |
| 14 | 14 |
| 15 <div class="row"> | 15 <div class="row"> |
| 16 <div class="col-md-8 col-md-offset-2"> | 16 <div class="col-md-8 col-md-offset-2"> |
| 17 <div class="panel-heading"> | 17 <div class="panel-heading"> |
| 18 <button on-click="{{refreshCoverage}}">Refresh Coverage</button> | 18 <button on-click="{{refreshCoverage}}">Refresh Coverage</button> |
| 19 {{ script.scriptRef['user_name'] }} | 19 {{ script.scriptRef['user_name'] }} |
| 20 {{ script.coveredPercentageFormatted() }} | 20 {{ script.coveredPercentageFormatted() }} |
| 21 </div> | 21 </div> |
| 22 <div class="panel-body"> | 22 <div class="panel-body"> |
| 23 <table style="width:100%"> | 23 <table style="width:100%"> |
| 24 <tbody> | 24 <tbody> |
| 25 <tr template repeat="{{ line in script.linesForDisplay }}"> | 25 <tr template repeat="{{ line in script.linesForDisplay }}"> |
| 26 <td style="{{ hitsStyle(line) }}"> </td> | 26 <td style="{{ hitsStyle(line) }}"> </td> |
| 27 <td style="font-family: consolas, courier, monospace;font-size: 1em;
line-height: 1.2em;white-space: nowrap;">{{line.line}}</td> | 27 <td style="font-family: consolas, courier, monospace;font-size: 1em;
line-height: 1.2em;white-space: nowrap;">{{line.line}}</td> |
| 28 <td width="99%" style="font-family: consolas, courier, monospace;fon
t-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td> | 28 <td width="99%" style="font-family: consolas, courier, monospace;fon
t-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td> |
| 29 </tr> | 29 </tr> |
| 30 </tbody> | 30 </tbody> |
| 31 </table> | 31 </table> |
| 32 </div> | 32 </div> |
| 33 </div> | 33 </div> |
| 34 </div> | 34 </div> |
| 35 </template> | 35 </template> |
| 36 <script type="application/dart" src="script_view.dart"></script> | 36 <script type="application/dart" src="script_view.dart"></script> |
| 37 </polymer-element> | 37 </polymer-element> |
| OLD | NEW |