From d234b0bb5f3210ca255d1ad71eb13add272fd078 Mon Sep 17 00:00:00 2001
From: Johannes Oertel <johannes.oertel@uni-due.de>
Date: Thu, 18 Jun 2015 17:11:44 +0200
Subject: [PATCH] rustdoc: Update document title when displaying search results

Fixes #26360.
---
 src/librustdoc/html/static/main.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 7f8f40ff08a4d..fb8f511795e87 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -571,6 +571,9 @@
                 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
             // recent search query is added to the browser history.
             if (browserSupportsHistoryApi()) {