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