Don't focus on notable trait parent when hiding it

GuillaumeGomez · GuillaumeGomez · commit b8a5b0210211 · 2022-11-18T13:36:18.000+01:00
diff --git a/src/librustdoc/html/static/js/main.js b/src/librustdoc/html/static/js/main.js
@@ -910,7 +910,6 @@ function loadCss(cssUrl) {
     function hideNotable() {
         if (window.CURRENT_NOTABLE_ELEMENT) {
             if (window.CURRENT_NOTABLE_ELEMENT.NOTABLE_BASE.NOTABLE_FORCE_VISIBLE) {
-                window.CURRENT_NOTABLE_ELEMENT.NOTABLE_BASE.focus();
                 window.CURRENT_NOTABLE_ELEMENT.NOTABLE_BASE.NOTABLE_FORCE_VISIBLE = false;
             }
             const body = document.getElementsByTagName("body")[0];

Original file line number	Diff line number	Diff line change
`@@ -910,7 +910,6 @@ function loadCss(cssUrl) {`
`910`	`910`	`function hideNotable() {`
`911`	`911`	`if (window.CURRENT_NOTABLE_ELEMENT) {`
`912`	`912`	`if (window.CURRENT_NOTABLE_ELEMENT.NOTABLE_BASE.NOTABLE_FORCE_VISIBLE) {`
`913`		`- window.CURRENT_NOTABLE_ELEMENT.NOTABLE_BASE.focus();`
`914`	`913`	`window.CURRENT_NOTABLE_ELEMENT.NOTABLE_BASE.NOTABLE_FORCE_VISIBLE = false;`
`915`	`914`	`}`
`916`	`915`	`const body = document.getElementsByTagName("body")[0];`