Fix window.hashchange is not a function

fmckeogh · fmckeogh · commit 5a446c1ea9b8 · 2019-08-21T09:13:51.000+01:00
diff --git 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);
                 }

Original file line number	Diff line number	Diff line change
`@@ -344,7 +344,7 @@ if (!DOMTokenList.prototype.remove) {`
`344`	`344`	`var set_fragment = function(name) {`
`345`	`345`	`if (browserSupportsHistoryApi()) {`
`346`	`346`	`history.replaceState(null, null, "#" + name);`
`347`		`- window.hashchange();`
	`347`	`+ highlightSourceLines(null);`
`348`	`348`	`} else {`
`349`	`349`	`location.replace("#" + name);`
`350`	`350`	`}`