When arriving on a search result page, we want to focus on the search bar

GuillaumeGomez · GuillaumeGomez · commit ec952a980e4f · 2020-09-29T14:17:27.000+02:00
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
@@ -576,6 +576,7 @@ function defocusSearchBar() {
         // suddenly your search is gone!
         if (search_input.value === "") {
             search_input.value = params.search || "";
+            search_input.focus();
         }
 
         /**

Original file line number	Diff line number	Diff line change
`@@ -576,6 +576,7 @@ function defocusSearchBar() {`
`576`	`576`	`// suddenly your search is gone!`
`577`	`577`	`if (search_input.value === "") {`
`578`	`578`	`search_input.value = params.search \|\| "";`
	`579`	`+ search_input.focus();`
`579`	`580`	`}`
`580`	`581`
`581`	`582`	`/**`