rustdoc: change title of search results

lolbinarycat · lolbinarycat · commit 370fcce5646a · 2024-07-25T17:51:35.000-04:00
the current title is too similar to that of the page for
std::result::Result, which is a problem both for
navigating to the Result docs via browser autocomplete, and for
being able to tell which tab is which when the width of tabs is
small.
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js
@@ -2932,7 +2932,7 @@ ${item.displayPath}<span class="${type}">${name}</span>\
         }
 
         // Update document title to maintain a meaningful browser history
-        searchState.title = "Results for " + query.original + " - Rust";
+        searchState.title = '"' + query.original + '" Search - Rust';
 
         // Because searching is incremental by character, only the most
         // recent search query is added to the browser history.

Original file line number	Diff line number	Diff line change
`@@ -2932,7 +2932,7 @@ ${item.displayPath}<span class="${type}">${name}</span>\`
`2932`	`2932`	`}`
`2933`	`2933`
`2934`	`2934`	`// Update document title to maintain a meaningful browser history`
`2935`		`- searchState.title = "Results for " + query.original + " - Rust";`
	`2935`	`+ searchState.title = '"' + query.original + '" Search - Rust';`
`2936`	`2936`
`2937`	`2937`	`// Because searching is incremental by character, only the most`
`2938`	`2938`	`// recent search query is added to the browser history.`