diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index de4792a5bd2f7..b7faa026dc310 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -113,6 +113,7 @@ function defocusSearchBar() {
var mouseMovedAfterSearch = true;
var titleBeforeSearch = document.title;
+ var searchTitle = null;
function clearInputTimeout() {
if (searchTimeout !== null) {
@@ -169,6 +170,7 @@ function defocusSearchBar() {
addClass(main, "hidden");
removeClass(search, "hidden");
mouseMovedAfterSearch = false;
+ document.title = searchTitle;
}
function hideSearchResults(search) {
@@ -177,6 +179,7 @@ function defocusSearchBar() {
}
addClass(search, "hidden");
removeClass(main, "hidden");
+ document.title = titleBeforeSearch;
}
// used for special search precedence
@@ -374,7 +377,6 @@ function defocusSearchBar() {
clearInputTimeout();
ev.preventDefault();
hideSearchResults(search);
- document.title = titleBeforeSearch;
}
defocusSearchBar();
hideThemeButtonState();
@@ -1782,7 +1784,7 @@ function defocusSearchBar() {
}
// Update document title to maintain a meaningful browser history
- document.title = "Results for " + query.query + " - Rust";
+ searchTitle = "Results for " + query.query + " - Rust";
// Because searching is incremental by character, only the most
// recent search query is added to the browser history.
@@ -2736,6 +2738,7 @@ function defocusSearchBar() {
"",
"?search=" + encodeURIComponent(search_input.value));
}
+ document.title = searchTitle;
}
}