diff options
| author | bors <bors@rust-lang.org> | 2022-01-25 13:08:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-01-25 13:08:10 +0000 |
| commit | a26c412e2852489abbbd69f53576255c4eac9c25 (patch) | |
| tree | 71dc21b7439d50ccbf6afbc1c01d6c30e6e3d5f4 | |
| parent | 60d3597cd214dfbf52f5a127ea78d8444ca120d2 (diff) | |
| parent | a8e1352d78379ffe1bd4e1a1e507ca5de6babd35 (diff) | |
| download | rust-a26c412e2852489abbbd69f53576255c4eac9c25.tar.gz rust-a26c412e2852489abbbd69f53576255c4eac9c25.zip | |
Auto merge of #8343 - robjtede:patch-1, r=giraffate
Autofocus search input changelog: autofocus filter input on Clippy Lints page
| -rw-r--r-- | util/gh-pages/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 5b7e61a349d..83a200ca3c4 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -522,6 +522,11 @@ Otherwise, have a great day =^.^= } scrollToLintByURL($scope); + + setTimeout(function () { + var el = document.getElementById('filter-input'); + if (el) { el.focus() } + }, 0); }) .error(function (data) { $scope.error = data; |