()
| 273 | } |
| 274 | |
| 275 | function unfocusSearchbar() { |
| 276 | // hacky, but just focusing a div only works once |
| 277 | var tmp = document.createElement('input'); |
| 278 | tmp.setAttribute('style', 'position: absolute; opacity: 0;'); |
| 279 | searchicon.appendChild(tmp); |
| 280 | tmp.focus(); |
| 281 | tmp.remove(); |
| 282 | } |
| 283 | |
| 284 | // On reload or browser history backwards/forwards events, parse the url and do search or mark |
| 285 | function doSearchOrMarkFromUrl() { |