diff options
| author | Jack O'Connor <oconnor663@gmail.com> | 2018-08-15 14:08:25 -0400 |
|---|---|---|
| committer | Jack O'Connor <oconnor663@gmail.com> | 2018-08-15 23:05:52 -0400 |
| commit | 207550981fb3f152ceacaf23fa5ac1727dad17ab (patch) | |
| tree | 34f787474dbc88c64f974641bc2254b9d9bf7ac6 /src/librustdoc/html | |
| parent | d767ee11616390d128853a06f5addb619e79213f (diff) | |
| download | rust-207550981fb3f152ceacaf23fa5ac1727dad17ab.tar.gz rust-207550981fb3f152ceacaf23fa5ac1727dad17ab.zip | |
restore the page title after escaping out of a search
Diffstat (limited to 'src/librustdoc/html')
| -rw-r--r-- | src/librustdoc/html/static/main.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index b63abec1f0e..70782973e42 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -52,6 +52,8 @@ var themesWidth = null; + var titleBeforeSearch = document.title; + if (!String.prototype.startsWith) { String.prototype.startsWith = function(searchString, position) { position = position || 0; @@ -267,6 +269,7 @@ ev.preventDefault(); addClass(search, "hidden"); removeClass(document.getElementById("main"), "hidden"); + document.title = titleBeforeSearch; } defocusSearchBar(); } |