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="//ajax.googleapis.com/ajax/libs/jquery/2.1.1/jquery.min.js"></scr
ipt> | 7 <script src="//ajax.googleapis.com/ajax/libs/jquery/2.1.1/jquery.min.js"></scr
ipt> |
8 <script src="https://ajax.googleapis.com/ajax/libs/angularjs/1.2.20/angular.js
"></script> | 8 <script src="https://ajax.googleapis.com/ajax/libs/angularjs/1.2.20/angular.js
"></script> |
9 <script src="constants.js"></script> | 9 <script src="constants.js"></script> |
10 <script src="live-loader.js"></script> | 10 <script src="live-loader.js"></script> |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
43 | 43 |
44 <div class="warning-div" | 44 <div class="warning-div" |
45 ng-show="header[constants.KEY__HEADER__IS_EDITABLE] && header[constants
.KEY__HEADER__IS_EXPORTED]"> | 45 ng-show="header[constants.KEY__HEADER__IS_EDITABLE] && header[constants
.KEY__HEADER__IS_EXPORTED]"> |
46 WARNING! These results are editable and exported, so any user | 46 WARNING! These results are editable and exported, so any user |
47 who can connect to this server over the network can modify them. | 47 who can connect to this server over the network can modify them. |
48 </div> | 48 </div> |
49 | 49 |
50 <div ng-show="header[constants.KEY__HEADER__TIME_UPDATED]"> | 50 <div ng-show="header[constants.KEY__HEADER__TIME_UPDATED]"> |
51 setA: "{{setASection}}" within {{setADir}}<br> | 51 setA: "{{setASection}}" within {{setADir}}<br> |
52 setB: "{{setBSection}}" within {{setBDir}}<br> | 52 setB: "{{setBSection}}" within {{setBDir}}<br> |
| 53 <a href="{{liveQueryUrl}}">latest raw JSON diffs between these two sets</a
><br> |
53 These results current as of | 54 These results current as of |
54 {{localTimeString(header[constants.KEY__HEADER__TIME_UPDATED])}} | 55 {{localTimeString(header[constants.KEY__HEADER__TIME_UPDATED])}} |
55 </div> | 56 </div> |
56 | 57 |
57 <div class="tab-wrapper"><!-- tabs --> | 58 <div class="tab-wrapper"><!-- tabs --> |
58 <div class="tab-spacer" ng-repeat="tab in tabs"> | 59 <div class="tab-spacer" ng-repeat="tab in tabs"> |
59 <div class="tab tab-{{tab == viewingTab}}" | 60 <div class="tab tab-{{tab == viewingTab}}" |
60 ng-click="setViewingTab(tab)"> | 61 ng-click="setViewingTab(tab)"> |
61 {{tab}} ({{numResultsPerTab[tab]}}) | 62 {{tab}} ({{numResultsPerTab[tab]}}) |
62 </div> | 63 </div> |
(...skipping 353 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
416 ng-click="toggleSomeImagePairs($index, imagePair[constants.KE
Y__IMAGEPAIRS__ROWSPAN])"> | 417 ng-click="toggleSomeImagePairs($index, imagePair[constants.KE
Y__IMAGEPAIRS__ROWSPAN])"> |
417 </tr> | 418 </tr> |
418 </table> <!-- imagePairs --> | 419 </table> <!-- imagePairs --> |
419 </td></tr></table> <!-- table holding results header + imagePairs table --> | 420 </td></tr></table> <!-- table holding results header + imagePairs table --> |
420 | 421 |
421 </div><!-- main display area of selected tab --> | 422 </div><!-- main display area of selected tab --> |
422 </div><!-- everything: hide until readyToDisplay --> | 423 </div><!-- everything: hide until readyToDisplay --> |
423 | 424 |
424 </body> | 425 </body> |
425 </html> | 426 </html> |
OLD | NEW |