rustdoc: change title of search results rust-lang#128253, rust-lang#128210

Folyd · Folyd · commit 76945aff2354 · 2024-08-21T18:18:38.000+08:00
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js
@@ -3709,7 +3709,7 @@ async function search(forced) {
     }
 
     // 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
`@@ -3709,7 +3709,7 @@ async function search(forced) {`
`3709`	`3709`	`}`
`3710`	`3710`
`3711`	`3711`	`// Update document title to maintain a meaningful browser history`
`3712`		`- searchState.title = "Results for " + query.original + " - Rust";`
	`3712`	`+ searchState.title = "\"" + query.original + "\" Search - Rust";`
`3713`	`3713`
`3714`	`3714`	`// Because searching is incremental by character, only the most`
`3715`	`3715`	`// recent search query is added to the browser history.`