| ... | ... | @@ -41,7 +41,7 @@ var zigAnalysis; |
| 41 | 41 | const domSearch = document.getElementById("search"); |
| 42 | 42 | const domSectSearchResults = document.getElementById("sectSearchResults"); |
| 43 | 43 | const domSectSearchAllResultsLink = document.getElementById("sectSearchAllResultsLink"); |
| 44 | | |
| 44 | const domDocs = document.getElementById("docs"); |
| 45 | 45 | const domListSearchResults = document.getElementById("listSearchResults"); |
| 46 | 46 | const domSectSearchNoResults = document.getElementById("sectSearchNoResults"); |
| 47 | 47 | const domSectInfo = document.getElementById("sectInfo"); |
| ... | ... | @@ -3262,9 +3262,9 @@ var zigAnalysis; |
| 3262 | 3262 | break; |
| 3263 | 3263 | case "s": |
| 3264 | 3264 | if (domHelpModal.classList.contains("hidden")) { |
| 3265 | | // TODO: scroll the page to the very top |
| 3266 | 3265 | domSearch.focus(); |
| 3267 | 3266 | domSearch.select(); |
| 3267 | domDocs.scrollTo(0, 0); |
| 3268 | 3268 | ev.preventDefault(); |
| 3269 | 3269 | ev.stopPropagation(); |
| 3270 | 3270 | startAsyncSearch(); |