diff options
| author | bors <bors@rust-lang.org> | 2024-07-29 19:58:12 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-07-29 19:58:12 +0000 |
| commit | accf6868ee6e4ed05d4402b18fd4773d3df43e2e (patch) | |
| tree | b297138c50fa08712f88ff23f2ec712babcd96c5 /compiler/rustc_pattern_analysis/src | |
| parent | 834b691a9f00b3c1d0f6c7f1ecb1a6badacf7f8b (diff) | |
| parent | 63174792c2200f2600c6c1f12fbe7558aae82198 (diff) | |
| download | rust-accf6868ee6e4ed05d4402b18fd4773d3df43e2e.tar.gz rust-accf6868ee6e4ed05d4402b18fd4773d3df43e2e.zip | |
Auto merge of #13178 - GuillaumeGomez:clippy-lints-page-improvement, r=Alexendoo
Add possibility to focus on search input using keyboard This PR adds the possibility to focus on the search input with `S` or `/` like in rustdoc and `mdbook` and `docs.rs` (unification++). Pressing escape will blur it. r? `@Alexendoo` changelog: Add possibility to focus on search input using keyboard
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions