| OLD | NEW |
| 1 <head> | 1 <head> |
| 2 <link rel="import" href="observatory_element.html"> | 2 <link rel="import" href="observatory_element.html"> |
| 3 <link rel="import" href="source_view.html"> | 3 <link rel="import" href="source_view.html"> |
| 4 </head> | 4 </head> |
| 5 <polymer-element name="script-view" extends="observatory-element"> | 5 <polymer-element name="script-view" extends="observatory-element"> |
| 6 <template> | 6 <template> |
| 7 <source-view app="{{ app }}" source="{{ script['source'] }}"></source-view> | 7 <div class="row"> |
| 8 </template> | 8 <div class="col-md-8 col-md-offset-2"> |
| 9 <script type="application/dart" src="script_view.dart"></script> | 9 <div class="panel-heading"> |
| 10 <button on-click="{{refreshCoverage}}">Refresh Coverage</button> |
| 11 {{ script.scriptRef['user_name'] }} |
| 12 {{ '(' + script.coveredPercentage().toStringAsFixed(1) + '% covered)'}} |
| 13 </div> |
| 14 <div class="panel-body"> |
| 15 <table style="width:100%"> |
| 16 <tbody> |
| 17 <tr template repeat="{{ line in script.lines.skip(1) }}"> |
| 18 <td style="{{ hitsStyle(line) }}"> </td> |
| 19 <td style="font-family: consolas, courier, monospace;font-size: 1em;
line-height: 1.2em;white-space: nowrap;">{{line.line}}</td> |
| 20 <td width="99%" style="font-family: consolas, courier, monospace;fon
t-size: 1em;line-height: 1.2em;">{{line.text}}</td> |
| 21 </tr> |
| 22 </tbody> |
| 23 </table> |
| 24 </div> |
| 25 </div> |
| 26 </div> |
| 27 </template> |
| 28 <script type="application/dart" src="script_view.dart"></script> |
| 10 </polymer-element> | 29 </polymer-element> |
| OLD | NEW |