bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

rustdoc: Update document title when displaying search results

Browse source 
Fixes #26360.
This commit is contained in:
Johannes Oertel 2015-06-18 17:11:44 +02:00
parent 7a13b93b00
commit d234b0bb5f
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -571,6 +571,9 @@
return; return;
} }
// Update document title to maintain a meaningful browser history
$(document).prop("title", "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.
if (browserSupportsHistoryApi()) { if (browserSupportsHistoryApi()) {