OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 | 2 |
3 <html ng-app="Loader" ng-controller="Loader.Controller"> | 3 <html ng-app="Loader" ng-controller="Loader.Controller"> |
4 | 4 |
5 <head> | 5 <head> |
6 <title ng-bind="windowTitle"></title> | 6 <title ng-bind="windowTitle"></title> |
7 <script src="https://ajax.googleapis.com/ajax/libs/angularjs/1.1.5/angular.js"
></script> | 7 <script src="https://ajax.googleapis.com/ajax/libs/angularjs/1.1.5/angular.js"
></script> |
8 <script src="constants.js"></script> | 8 <script src="constants.js"></script> |
9 <script src="loader.js"></script> | 9 <script src="loader.js"></script> |
10 <link rel="stylesheet" href="view.css"> | 10 <link rel="stylesheet" href="view.css"> |
(...skipping 14 matching lines...) Expand all Loading... |
25 | 25 |
26 <div ng-show="extraColumnHeaders"><!-- everything: hide until data is loaded -
-> | 26 <div ng-show="extraColumnHeaders"><!-- everything: hide until data is loaded -
-> |
27 | 27 |
28 <div class="warning-div" | 28 <div class="warning-div" |
29 ng-show="header[constants.KEY__HEADER__IS_EDITABLE] && header[constants
.KEY__HEADER__IS_EXPORTED]"> | 29 ng-show="header[constants.KEY__HEADER__IS_EDITABLE] && header[constants
.KEY__HEADER__IS_EXPORTED]"> |
30 WARNING! These results are editable and exported, so any user | 30 WARNING! These results are editable and exported, so any user |
31 who can connect to this server over the network can modify them. | 31 who can connect to this server over the network can modify them. |
32 </div> | 32 </div> |
33 | 33 |
34 <div ng-show="header[constants.KEY__HEADER__TIME_UPDATED]"> | 34 <div ng-show="header[constants.KEY__HEADER__TIME_UPDATED]"> |
35 Results from <a href="{{resultsToLoad}}">{{resultsToLoad}}</a> current as
of {{localTimeString(header[constants.KEY__HEADER__TIME_UPDATED])}} | 35 These results, from raw JSON file |
| 36 <a href="{{resultsToLoad}}">{{resultsToLoad}}</a>, current as of |
| 37 {{localTimeString(header[constants.KEY__HEADER__TIME_UPDATED])}} |
| 38 <br> |
| 39 To see other sets of results (all results, failures only, etc.), |
| 40 <a href="/">click here</a> |
36 </div> | 41 </div> |
37 | 42 |
38 <div class="tab-wrapper"><!-- tabs --> | 43 <div class="tab-wrapper"><!-- tabs --> |
39 <div class="tab-spacer" ng-repeat="tab in tabs"> | 44 <div class="tab-spacer" ng-repeat="tab in tabs"> |
40 <div class="tab tab-{{tab == viewingTab}}" | 45 <div class="tab tab-{{tab == viewingTab}}" |
41 ng-click="setViewingTab(tab)"> | 46 ng-click="setViewingTab(tab)"> |
42 {{tab}} ({{numResultsPerTab[tab]}}) | 47 {{tab}} ({{numResultsPerTab[tab]}}) |
43 </div> | 48 </div> |
44 <div class="tab-spacer"> | 49 <div class="tab-spacer"> |
45 | 50 |
(...skipping 368 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
414 ng-click="toggleValueInArray(imagePair.index, selectedImagePa
irs)"> | 419 ng-click="toggleValueInArray(imagePair.index, selectedImagePa
irs)"> |
415 </tr> | 420 </tr> |
416 </table> <!-- imagePairs --> | 421 </table> <!-- imagePairs --> |
417 </td></tr></table> <!-- table holding results header + imagePairs table --> | 422 </td></tr></table> <!-- table holding results header + imagePairs table --> |
418 | 423 |
419 </div><!-- main display area of selected tab --> | 424 </div><!-- main display area of selected tab --> |
420 </div><!-- everything: hide until data is loaded --> | 425 </div><!-- everything: hide until data is loaded --> |
421 | 426 |
422 </body> | 427 </body> |
423 </html> | 428 </html> |
OLD | NEW |