diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-01-14 02:55:57 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-14 02:55:57 +0900 |
| commit | 3b494b0ef8877a75021d6c8e8c232f7f9703a72e (patch) | |
| tree | 2593b09d140e6ff0554a024893c338940cced196 | |
| parent | ce6803a18679f7085561b66ec1945ed4005e2d1d (diff) | |
| parent | 27db7f6307a928469608bf84385a05588e5e2aa9 (diff) | |
| download | sphinx-git-3b494b0ef8877a75021d6c8e8c232f7f9703a72e.tar.gz | |
Merge pull request #9551 from mgeier/remove-highlight-param
"Hide Search Matches" removes "highlight" parameter from URL
| -rw-r--r-- | sphinx/themes/basic/static/doctools.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sphinx/themes/basic/static/doctools.js b/sphinx/themes/basic/static/doctools.js index b6fba5f1e..e509e4834 100644 --- a/sphinx/themes/basic/static/doctools.js +++ b/sphinx/themes/basic/static/doctools.js @@ -264,6 +264,9 @@ var Documentation = { hideSearchWords : function() { $('#searchbox .highlight-link').fadeOut(300); $('span.highlighted').removeClass('highlighted'); + var url = new URL(window.location); + url.searchParams.delete('highlight'); + window.history.replaceState({}, '', url); }, /** |