From 46c921d3aba857a16146b140c89adfcbeee257cb Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Tue, 10 Nov 2020 15:01:01 +0100 Subject: [PATCH] Improve the page title switch handling between search and doc --- src/librustdoc/html/static/main.js | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index de4792a5bd2..b7faa026dc3 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; } } -- 2.44.0