bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Improve the page title switch handling between search and doc

Browse source
This commit is contained in:
Guillaume Gomez 2020-11-10 15:01:01 +01:00
parent f7801d6c7c
commit 46c921d3ab
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/librustdoc/html/static/main.js
View file

@ -113,6 +113,7 @@ function defocusSearchBar() {
var mouseMovedAfterSearch = true; var mouseMovedAfterSearch = true;
var titleBeforeSearch = document.title; var titleBeforeSearch = document.title;
var searchTitle = null;
function clearInputTimeout() { function clearInputTimeout() {
if (searchTimeout !== null) { if (searchTimeout !== null) {
@ -169,6 +170,7 @@ function defocusSearchBar() {
addClass(main, "hidden"); addClass(main, "hidden");
removeClass(search, "hidden"); removeClass(search, "hidden");
mouseMovedAfterSearch = false; mouseMovedAfterSearch = false;
document.title = searchTitle;
} }
function hideSearchResults(search) { function hideSearchResults(search) {
@ -177,6 +179,7 @@ function defocusSearchBar() {
} }
addClass(search, "hidden"); addClass(search, "hidden");
removeClass(main, "hidden"); removeClass(main, "hidden");
document.title = titleBeforeSearch;
} }
// used for special search precedence // used for special search precedence
@ -374,7 +377,6 @@ function defocusSearchBar() {
clearInputTimeout(); clearInputTimeout();
ev.preventDefault(); ev.preventDefault();
hideSearchResults(search); hideSearchResults(search);
document.title = titleBeforeSearch;
} }
defocusSearchBar(); defocusSearchBar();
hideThemeButtonState(); hideThemeButtonState();
@ -1782,7 +1784,7 @@ function defocusSearchBar() {
} }
// Update document title to maintain a meaningful browser history // 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 // Because searching is incremental by character, only the most
// recent search query is added to the browser history. // recent search query is added to the browser history.
@ -2736,6 +2738,7 @@ function defocusSearchBar() {
"", "",
"?search=" + encodeURIComponent(search_input.value)); "?search=" + encodeURIComponent(search_input.value));
} }
document.title = searchTitle;
} }
} }