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="diff_viewer.js"></script> | 9 <script src="diff_viewer.js"></script> |
10 <script src="loader.js"></script> | 10 <script src="loader.js"></script> |
(...skipping 13 matching lines...) Expand all Loading... |
24 </em> | 24 </em> |
25 | 25 |
26 <div ng-hide="!extraColumnHeaders"><!-- everything: hide until data is loaded
--> | 26 <div ng-hide="!extraColumnHeaders"><!-- everything: hide until data is loaded
--> |
27 | 27 |
28 <div class="warning-div" | 28 <div class="warning-div" |
29 ng-hide="!(header[constants.KEY__HEADER__IS_EDITABLE] && header[constan
ts.KEY__HEADER__IS_EXPORTED])"> | 29 ng-hide="!(header[constants.KEY__HEADER__IS_EDITABLE] && header[constan
ts.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-hide="!(header[constants.KEY__HEADER___TIME_UPDATED])"> | 34 <div ng-hide="!(header[constants.KEY__HEADER__TIME_UPDATED])"> |
35 Results current as of {{localTimeString(header[constants.KEY__HEADER__TIME
_UPDATED])}} | 35 Results current as of {{localTimeString(header[constants.KEY__HEADER__TIME
_UPDATED])}} |
36 </div> | 36 </div> |
37 | 37 |
38 <div><!-- tabs --> | 38 <div><!-- tabs --> |
39 <div class="tab-spacer" ng-repeat="tab in tabs"> | 39 <div class="tab-spacer" ng-repeat="tab in tabs"> |
40 <div class="tab-{{tab == viewingTab}}" | 40 <div class="tab-{{tab == viewingTab}}" |
41 ng-click="setViewingTab(tab)"> | 41 ng-click="setViewingTab(tab)"> |
42 {{tab}} ({{numResultsPerTab[tab]}}) | 42 {{tab}} ({{numResultsPerTab[tab]}}) |
43 </div> | 43 </div> |
44 <div class="tab-spacer"> | 44 <div class="tab-spacer"> |
(...skipping 350 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
395 ng-click="toggleValueInArray(imagePair.index, selectedImagePa
irs)"> | 395 ng-click="toggleValueInArray(imagePair.index, selectedImagePa
irs)"> |
396 </tr> | 396 </tr> |
397 </table> <!-- imagePairs --> | 397 </table> <!-- imagePairs --> |
398 </td></tr></table> <!-- table holding results header + imagePairs table --> | 398 </td></tr></table> <!-- table holding results header + imagePairs table --> |
399 | 399 |
400 </div><!-- main display area of selected tab --> | 400 </div><!-- main display area of selected tab --> |
401 </div><!-- everything: hide until data is loaded --> | 401 </div><!-- everything: hide until data is loaded --> |
402 | 402 |
403 </body> | 403 </body> |
404 </html> | 404 </html> |
OLD | NEW |