From 1b1d910cd72f1cf1814355d5e775043d36e3b920 Mon Sep 17 00:00:00 2001
From: Earl St Sauver <estsauver@gmail.com>
Date: Sat, 4 Apr 2015 15:21:18 +0700
Subject: [PATCH] Make changing doc search unhighlight current result

If a result is highlighted, when the search changes that state should no
longer be highlighted. Fixes #24044

cc @steveklabnik
---
 src/librustdoc/html/static/main.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index ca6d9441957..aa5aa2421f8 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -468,6 +468,8 @@
                     if ($active.length) {
                         document.location.href = $active.find('a').prop('href');
                     }
+                } else {
+                  $active.removeClass('highlighted');
                 }
             });
         }