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="shared/js/local_strings.js"></script> | 7 <script src="shared/js/local_strings.js"></script> |
| 8 <script src="shared/js/util.js"></script> |
8 <script> | 9 <script> |
9 /////////////////////////////////////////////////////////////////////////////// | 10 /////////////////////////////////////////////////////////////////////////////// |
10 // Globals: | 11 // Globals: |
11 var RESULTS_PER_PAGE = 150; | 12 var RESULTS_PER_PAGE = 150; |
12 var MAX_SEARCH_DEPTH_MONTHS = 18; | 13 var MAX_SEARCH_DEPTH_MONTHS = 18; |
13 | 14 |
14 // Amount of time between pageviews that we consider a 'break' in browsing, | 15 // Amount of time between pageviews that we consider a 'break' in browsing, |
15 // measured in milliseconds. | 16 // measured in milliseconds. |
16 var BROWSING_GAP_TIME = 15 * 60 * 1000; | 17 var BROWSING_GAP_TIME = 15 * 60 * 1000; |
17 | 18 |
(...skipping 137 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
155 }; | 156 }; |
156 | 157 |
157 /** | 158 /** |
158 * @return {DOMObject} DOM representation for the title block. | 159 * @return {DOMObject} DOM representation for the title block. |
159 */ | 160 */ |
160 Page.prototype.getTitleDOM_ = function() { | 161 Page.prototype.getTitleDOM_ = function() { |
161 var node = document.createElement('div'); | 162 var node = document.createElement('div'); |
162 node.className = 'title'; | 163 node.className = 'title'; |
163 var link = document.createElement('a'); | 164 var link = document.createElement('a'); |
164 link.href = this.url_; | 165 link.href = this.url_; |
| 166 |
165 link.style.backgroundImage = | 167 link.style.backgroundImage = |
166 'url(chrome://favicon/' + encodeURIForCSS(this.url_) + ')'; | 168 'url(chrome://favicon/' + encodeURIForCSS(this.url_) + ')'; |
167 link.id = "id-" + this.id_; | 169 link.id = "id-" + this.id_; |
168 this.addHighlightedText_(link, this.title_, this.model_.getSearchText()); | 170 this.addHighlightedText_(link, this.title_, this.model_.getSearchText()); |
169 | 171 |
170 node.appendChild(link); | 172 node.appendChild(link); |
171 | 173 |
172 if (this.starred_) { | 174 if (this.starred_) { |
173 node.className += ' starred'; | 175 node.className += ' starred'; |
174 node.appendChild(createElementWithClassName('div', 'starred')); | 176 node.appendChild(createElementWithClassName('div', 'starred')); |
(...skipping 1007 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1182 </table> | 1184 </table> |
1183 </div> | 1185 </div> |
1184 <div id="editing-controls"></div> | 1186 <div id="editing-controls"></div> |
1185 <div id="results-display"></div> | 1187 <div id="results-display"></div> |
1186 <div id="results-pagination"></div> | 1188 <div id="results-pagination"></div> |
1187 </div> | 1189 </div> |
1188 <div class="footer"> | 1190 <div class="footer"> |
1189 </div> | 1191 </div> |
1190 </body> | 1192 </body> |
1191 </html> | 1193 </html> |
OLD | NEW |