| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <html> | 2 <html> |
| 3 <head> | 3 <head> |
| 4 <title>Skia Correctness Server</title> | 4 <title>Skia Correctness Server</title> |
| 5 | 5 |
| 6 {%template "header.html" .%} | 6 {%template "header.html" .%} |
| 7 | 7 |
| 8 <style type="text/css" media="screen"> | 8 <style type="text/css" media="screen"> |
| 9 test-summary-sk { | 9 test-summary-sk { |
| 10 display: block; | 10 display: block; |
| (...skipping 66 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 77 Unt Only <paper-toggle-button id=untonly checked></paper-toggle-butt
on> | 77 Unt Only <paper-toggle-button id=untonly checked></paper-toggle-butt
on> |
| 78 Details <paper-toggle-button id=details></paper-toggle-button> | 78 Details <paper-toggle-button id=details></paper-toggle-button> |
| 79 </div> | 79 </div> |
| 80 </div> | 80 </div> |
| 81 <query-dialog-sk id=query src="_/paramset"></query-dialog-sk> | 81 <query-dialog-sk id=query src="_/paramset"></query-dialog-sk> |
| 82 | 82 |
| 83 <sort-sk target=summaries> | 83 <sort-sk target=summaries> |
| 84 <paper-button class=header data-key="name" data-alpha=true>Name</paper
-button> | 84 <paper-button class=header data-key="name" data-alpha=true>Name</paper
-button> |
| 85 <!-- <paper-button class="header short" data-key="diameter">Diam</paper
-button> --> | 85 <!-- <paper-button class="header short" data-key="diameter">Diam</paper
-button> --> |
| 86 <paper-button class="header short" >Grid</paper-button> | 86 <paper-button class="header short" >Grid</paper-button> |
| 87 <paper-button class="header short" >Cluster</paper-button> |
| 87 <paper-button class="header short" data-key="pos">Pos</paper-button> | 88 <paper-button class="header short" data-key="pos">Pos</paper-button> |
| 88 <paper-button class="header short" data-key="neg">Neg</paper-button> | 89 <paper-button class="header short" data-key="neg">Neg</paper-button> |
| 89 <paper-button class="header short" data-key="untriaged">Unt</paper-but
ton> | 90 <paper-button class="header short" data-key="untriaged">Unt</paper-but
ton> |
| 90 <paper-button class="header short" data-key="num">Total</paper-button> | 91 <paper-button class="header short" data-key="num">Total</paper-button> |
| 91 <span class="blameHeader"> | 92 <span class="blameHeader"> |
| 92 Blame | 93 Blame |
| 93 </span> | 94 </span> |
| 94 </sort-sk> | 95 </sort-sk> |
| 95 <div id="summaries"></div> | 96 <div id="summaries"></div> |
| 96 <paper-spinner active></paper-spinner> | 97 <paper-spinner active></paper-spinner> |
| (...skipping 175 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 272 $$$('#summaries').addEventListener('zoom-clicked', function(e) { | 273 $$$('#summaries').addEventListener('zoom-clicked', function(e) { |
| 273 zoom(e.detail); | 274 zoom(e.detail); |
| 274 }); | 275 }); |
| 275 | 276 |
| 276 $$$('#help').classList.toggle('hidden', !page.state.triage); | 277 $$$('#help').classList.toggle('hidden', !page.state.triage); |
| 277 }); | 278 }); |
| 278 })(); | 279 })(); |
| 279 </script> | 280 </script> |
| 280 </body> | 281 </body> |
| 281 </html> | 282 </html> |
| OLD | NEW |