Fix window.hashchange is not a function

2025-05-14 02:49:40 +00:00 · 2019-08-21 09:13:51 +01:00 · 2019-08-21 09:13:51 +01:00 · 5a446c1ea9
commit 5a446c1ea9
parent bea0372a1a
1 changed files with 1 additions and 1 deletions
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@ -344,7 +344,7 @@ if (!DOMTokenList.prototype.remove) {
            var set_fragment = function(name) {
                if (browserSupportsHistoryApi()) {
                    history.replaceState(null, null, "#" + name);
-                    window.hashchange();
+                    highlightSourceLines(null);
                } else {
                    location.replace("#" + name);
                }