diff options
Diffstat (limited to 'src/librustdoc/html/static/js/main.js')
| -rw-r--r-- | src/librustdoc/html/static/js/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/js/main.js b/src/librustdoc/html/static/js/main.js index 32aa82195a9..c9fa72cbaab 100644 --- a/src/librustdoc/html/static/js/main.js +++ b/src/librustdoc/html/static/js/main.js @@ -888,7 +888,7 @@ function hideThemeButtonState() { onEachLazy(document.querySelectorAll(".rustdoc-toggle > summary:not(.hideme)"), function(el) { el.addEventListener("click", function(e) { - if (e.target.tagName != "SUMMARY") { + if (e.target.tagName != "SUMMARY" && e.target.tagName != "A") { e.preventDefault(); } }); |
