Changeset 5547430 in ammosreader for doc/html/_static/doctools.js

Timestamp:

05/04/22 16:12:24 (3 years ago)

Author:

Enrico Schwass <ennoausberlin@…>

Branches:

AmmosSource, guix

Children:

1b72462

Parents:

f3421e6

Message:

docs updated

File:

• doc/html/_static/doctools.js (modified) (2 diffs)

doc/html/_static/doctools.js

@@ -5 +5 @@
  * 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.
  *
@@ -265 +265 @@
     $('#searchbox .highlight-link').fadeOut(300);
     $('span.highlighted').removeClass('highlighted');
+    var url = new URL(window.location);
+    url.searchParams.delete('highlight');
+    window.history.replaceState({}, '', url);
   },