diff options
author | 2022-02-21 12:13:17 +0000 | |
---|---|---|
committer | 2022-02-21 12:13:17 +0000 | |
commit | f81e961084bb65f37384dc5e3c8eced7fdad3319 (patch) | |
tree | 37644df1e62ec2c07097f60bed2d6f8547f21e1b /_static/doctools.js | |
parent | Deploying to docs from @ python-discord/bot-core@29189d599f7de9f87aeba3f565f0... (diff) |
Deploying to docs from @ python-discord/bot-core@72ec57ae3153a274c902493ef6f74d35c27f965b 🚀
Diffstat (limited to '_static/doctools.js')
-rw-r--r-- | _static/doctools.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/_static/doctools.js b/_static/doctools.js index 8cbf1b16..e509e483 100644 --- a/_static/doctools.js +++ b/_static/doctools.js @@ -4,7 +4,7 @@ * * Sphinx JavaScript utilities for all documentation. * - * :copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS. + * :copyright: Copyright 2007-2022 by the Sphinx team, see AUTHORS. * :license: BSD, see LICENSE for details. * */ @@ -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); }, /** |