Cool_Tools/mkdocs-material
1
0
Fork 0
mirror of https://github.com/squidfunk/mkdocs-material.git synced 2024-11-28 01:10:58 +01:00
Code Issues Releases Wiki Activity

Fixed table of contents following not working for percent-encoded URIs

Browse Source
This commit is contained in:
squidfunk 2023-03-06 20:27:04 +01:00
parent 19fb69e379
commit 64ca8fefd4
No known key found for this signature in database
GPG Key ID: 5ED40BC4F9C436DF
4 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
material/assets/javascripts/bundle.b78d2936.min.js → material/assets/javascripts/bundle.fc8c2696.min.js vendored
View File

File diff suppressed because one or more lines are too long

4
material/assets/javascripts/bundle.b78d2936.min.js.map → material/assets/javascripts/bundle.fc8c2696.min.js.map
View File

File diff suppressed because one or more lines are too long

2
material/base.html
View File

@ -240,7 +240,7 @@
</script> </script>
{% endblock %} {% endblock %}
{% block scripts %} {% block scripts %}
<script src="{{ 'assets/javascripts/bundle.b78d2936.min.js' | url }}"></script> <script src="{{ 'assets/javascripts/bundle.fc8c2696.min.js' | url }}"></script>
{% for path in config.extra_javascript %} {% for path in config.extra_javascript %}
<script src="{{ path | url }}"></script> <script src="{{ path | url }}"></script>
{% endfor %} {% endfor %}

2
src/assets/javascripts/components/toc/index.ts
View File

@ -134,7 +134,7 @@ export function watchTableOfContents(
/* Compute anchor-to-target mapping */ /* Compute anchor-to-target mapping */
const anchors = getElements<HTMLAnchorElement>("[href^=\\#]", el) const anchors = getElements<HTMLAnchorElement>("[href^=\\#]", el)
for (const anchor of anchors) { for (const anchor of anchors) {
const id = decodeURIComponent(anchor.hash.substring(1)) const id = anchor.hash.substring(1)
const target = getOptionalElement(`[id="${id}"]`) const target = getOptionalElement(`[id="${id}"]`)
if (typeof target !== "undefined") if (typeof target !== "undefined")
table.set(anchor, target) table.set(anchor, target)