| ... | @@ -1844,7 +1844,13 @@ | ... | @@ -1844,7 +1844,13 @@ |
| 1844 | var oldHash = location.hash; | 1844 | var oldHash = location.hash; |
| 1845 | var parts = oldHash.split("?"); | 1845 | var parts = oldHash.split("?"); |
| 1846 | var newPart2 = (domSearch.value === "") ? "" : ("?" + domSearch.value); | 1846 | var newPart2 = (domSearch.value === "") ? "" : ("?" + domSearch.value); |
| 1847 | location.hash = (parts.length === 1) ? (oldHash + newPart2) : (parts[0] + newPart2); | 1847 | var newHash = (oldHash === "" ? "#" : parts[0]) + newPart2; |
| | 1848 | // create a history entry only once per search |
| | 1849 | if (parts.length === 1) { |
| | 1850 | location.assign(newHash); |
| | 1851 | } else { |
| | 1852 | location.replace(newHash); |
| | 1853 | } |
| 1848 | } | 1854 | } |
| 1849 | function getSearchTerms() { | 1855 | function getSearchTerms() { |
| 1850 | var list = curNavSearch.trim().split(/[ \r\n\t]+/); | 1856 | var list = curNavSearch.trim().split(/[ \r\n\t]+/); |