File tree Expand file tree Collapse file tree 1 file changed +17
-1
lines changed Expand file tree Collapse file tree 1 file changed +17
-1
lines changed Original file line number Diff line number Diff line change 10
10
</head >
11
11
<body >
12
12
{{> navigation_rustdoc }}
13
- <div class =" {{ content.rustdoc_body_class }} " tabindex =" 1" >
13
+ <div id = " rustdoc_body_wrapper " class =" {{ content.rustdoc_body_class }} " tabindex =" - 1" >
14
14
{{{ content.rustdoc_body }}}
15
15
</div >
16
16
<script type =" text/javascript" src =" /menu.js?{{ cratesfyi_version_safe }} " ></script >
17
17
</body >
18
+ <script >
19
+ var doc_body = document .getElementById (" rustdoc_body_wrapper" );
20
+ if (window .location .hash ) {
21
+ var notFirefox = typeof InstallTrigger === ' undefined' ;
22
+ if (notFirefox) {
23
+ var hash = window .location .hash ;
24
+ window .location .hash = " " ;
25
+ setTimeout (function () {
26
+ window .location .hash = hash;
27
+ doc_body .focus ();
28
+ }, 1 );
29
+ }
30
+ } else {
31
+ doc_body .focus ();
32
+ }
33
+ </script >
18
34
</html >
You can’t perform that action at this time.
0 commit comments