OLD | NEW |
1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
2 <html i18n-values="dir:textdirection;"> | 2 <html i18n-values="dir:textdirection;"> |
3 <head> | 3 <head> |
4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
5 <title i18n-content="title"></title> | 5 <title i18n-content="title"></title> |
6 <link rel="icon" href="../../app/theme/history_favicon.png"> | 6 <link rel="icon" href="../../app/theme/history_favicon.png"> |
7 <script src="local_strings.js"></script> | 7 <script src="shared/js/local_strings.js"></script> |
8 <script> | 8 <script> |
9 /////////////////////////////////////////////////////////////////////////////// | 9 /////////////////////////////////////////////////////////////////////////////// |
10 // Globals: | 10 // Globals: |
11 var RESULTS_PER_PAGE = 150; | 11 var RESULTS_PER_PAGE = 150; |
12 var MAX_SEARCH_DEPTH_MONTHS = 18; | 12 var MAX_SEARCH_DEPTH_MONTHS = 18; |
13 | 13 |
14 // Amount of time between pageviews that we consider a 'break' in browsing, | 14 // Amount of time between pageviews that we consider a 'break' in browsing, |
15 // measured in milliseconds. | 15 // measured in milliseconds. |
16 var BROWSING_GAP_TIME = 15 * 60 * 1000; | 16 var BROWSING_GAP_TIME = 15 * 60 * 1000; |
17 | 17 |
(...skipping 1200 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1218 </table> | 1218 </table> |
1219 </div> | 1219 </div> |
1220 <div id="editing-controls"></div> | 1220 <div id="editing-controls"></div> |
1221 <div id="results-display"></div> | 1221 <div id="results-display"></div> |
1222 <div id="results-pagination"></div> | 1222 <div id="results-pagination"></div> |
1223 </div> | 1223 </div> |
1224 <div class="footer"> | 1224 <div class="footer"> |
1225 </div> | 1225 </div> |
1226 </body> | 1226 </body> |
1227 </html> | 1227 </html> |
OLD | NEW |