| 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 |