diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-11-18 13:36:18 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-11-18 13:36:18 +0100 |
| commit | b8a5b02102113198dde2011fd16192ef98c45227 (patch) | |
| tree | 6659d33427d7826d62a8efe27b02bdb10ab8a544 | |
| parent | 7c75fe4c8547c276574cacb144919d67fd8ab302 (diff) | |
| download | rust-b8a5b02102113198dde2011fd16192ef98c45227.tar.gz rust-b8a5b02102113198dde2011fd16192ef98c45227.zip | |
Don't focus on notable trait parent when hiding it
| -rw-r--r-- | src/librustdoc/html/static/js/main.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/js/main.js b/src/librustdoc/html/static/js/main.js index 874f130d7e2..67eff9497e1 100644 --- 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]; |