diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-10-29 13:21:18 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-11-01 13:41:43 +0100 |
| commit | 56dbb3e32d929ae67ca76d85a5351035b3eae592 (patch) | |
| tree | a1d475faecce4b57df32db41b6f8de79ddde5fb2 /src | |
| parent | 2f581cf9d692781847bede5d966b098a5d09b5e4 (diff) | |
| download | rust-56dbb3e32d929ae67ca76d85a5351035b3eae592.tar.gz rust-56dbb3e32d929ae67ca76d85a5351035b3eae592.zip | |
Keep displaying good information when query is made
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/main.js | 1 |
1 files changed, 1 insertions, 0 deletions
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) { |