Merge pull request #1426 from ehuss/search-mark-words

Fix search highlighting with multiple words.
rust-lang · Jan 15, 2021 · 1a0c296 · 1a0c296
2 parents 9b4ab72 + 2838713
commit 1a0c296
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/theme/searcher/searcher.js b/src/theme/searcher/searcher.js
@@ -296,7 +296,7 @@ window.search = window.search || {};
         }
 
         if (url.params.hasOwnProperty(URL_MARK_PARAM)) {
-            var words = url.params[URL_MARK_PARAM].split(' ');
+            var words = decodeURIComponent(url.params[URL_MARK_PARAM]).split(' ');
             marker.mark(words, {
                 exclude: mark_exclude
             });