From ec952a980e4fd057a81dc90ec07f37a033cdef27 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 29 Sep 2020 13:06:31 +0200
Subject: [PATCH] When arriving on a search result page, we want to focus on
 the search bar

---
 src/librustdoc/html/static/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 1b3eb2011afdc..c11659fe9c576 100644
--- 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();
         }
 
         /**