From 56dbb3e32d929ae67ca76d85a5351035b3eae592 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Sun, 29 Oct 2017 13:21:18 +0100
Subject: [PATCH] Keep displaying good information when query is made

---
 src/librustdoc/html/static/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 04bf466a780..d6c89ef6ff0 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -884,6 +884,7 @@
             elems[0].onclick = function() { printTab(0); };
             elems[1].onclick = function() { printTab(1); };
             elems[2].onclick = function() { printTab(2); };
+            printTab(currentTab);
         }
 
         function search(e) {