| OLD | NEW |
| 1 <!DOCTYPE html><html><head> | 1 <!DOCTYPE html><html><head> |
| 2 | 2 |
| 3 | 3 |
| 4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
| 5 <link type="text/css" rel="stylesheet" href="bootstrap_css/css/bootstrap.min.c
ss"> | 5 <link type="text/css" rel="stylesheet" href="bootstrap_css/css/bootstrap.min.c
ss"> |
| 6 | 6 |
| 7 <title>Dart VM Observatory</title> | 7 <title>Dart VM Observatory</title> |
| 8 <script type="text/javascript" src="https://www.google.com/jsapi"></script> | 8 <script type="text/javascript" src="https://www.google.com/jsapi"></script> |
| 9 | 9 |
| 10 | 10 |
| (...skipping 603 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 614 <button on-click="{{refreshCoverage}}">Refresh Coverage</button> | 614 <button on-click="{{refreshCoverage}}">Refresh Coverage</button> |
| 615 {{ script.scriptRef['user_name'] }} | 615 {{ script.scriptRef['user_name'] }} |
| 616 {{ script.coveredPercentageFormatted() }} | 616 {{ script.coveredPercentageFormatted() }} |
| 617 </div> | 617 </div> |
| 618 <div class="panel-body"> | 618 <div class="panel-body"> |
| 619 <table style="width:100%"> | 619 <table style="width:100%"> |
| 620 <tbody> | 620 <tbody> |
| 621 <tr template="" repeat="{{ line in script.linesForDisplay }}"> | 621 <tr template="" repeat="{{ line in script.linesForDisplay }}"> |
| 622 <td style="{{ hitsStyle(line) }}"> </td> | 622 <td style="{{ hitsStyle(line) }}"> </td> |
| 623 <td style="font-family: consolas, courier, monospace;font-size: 1em;
line-height: 1.2em;white-space: nowrap;">{{line.line}}</td> | 623 <td style="font-family: consolas, courier, monospace;font-size: 1em;
line-height: 1.2em;white-space: nowrap;">{{line.line}}</td> |
| 624 <td width="99%" style="font-family: consolas, courier, monospace;fon
t-size: 1em;line-height: 1.2em;">{{line.text}}</td> | 624 <td width="99%" style="font-family: consolas, courier, monospace;fon
t-size: 1em;line-height: 1.2em;white-space: pre;">{{line.text}}</td> |
| 625 </tr> | 625 </tr> |
| 626 </tbody> | 626 </tbody> |
| 627 </table> | 627 </table> |
| 628 </div> | 628 </div> |
| 629 </div> | 629 </div> |
| 630 </div> | 630 </div> |
| 631 </template> | 631 </template> |
| 632 | 632 |
| 633 </polymer-element><polymer-element name="stack-frame" extends="observatory-eleme
nt"> | 633 </polymer-element><polymer-element name="stack-frame" extends="observatory-eleme
nt"> |
| 634 <template> | 634 <template> |
| (...skipping 182 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 817 </template> | 817 </template> |
| 818 <template if="{{ app.locationManager.profile == false }}"> | 818 <template if="{{ app.locationManager.profile == false }}"> |
| 819 <response-viewer app="{{ app }}"></response-viewer> | 819 <response-viewer app="{{ app }}"></response-viewer> |
| 820 </template> | 820 </template> |
| 821 </template> | 821 </template> |
| 822 | 822 |
| 823 </polymer-element> | 823 </polymer-element> |
| 824 <observatory-application></observatory-application> | 824 <observatory-application></observatory-application> |
| 825 | 825 |
| 826 </body></html> | 826 </body></html> |
| OLD | NEW |