diff options
| author | Michael Howell <michael@notriddle.com> | 2023-01-18 11:41:34 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-01-18 12:14:00 -0700 |
| commit | deb05758c8d7e13599617f322be8c03b22d1d724 (patch) | |
| tree | 7f42b1c8997eda4a85725cce0da4e5fb32bd7f6c /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 1f72129ffe5e8c495113f9a2d4e1730f7fad3209 (diff) | |
| download | rust-deb05758c8d7e13599617f322be8c03b22d1d724.tar.gz rust-deb05758c8d7e13599617f322be8c03b22d1d724.zip | |
rustdoc: put focus on the help link when opening it from keyboard
This prevents some strange blur-event-related bugs with the "?" command by ensuring that the focus remains in the same spot when the settings area closes.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions