diff options
| author | bors <bors@rust-lang.org> | 2020-12-01 09:58:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-12-01 09:58:59 +0000 |
| commit | 0fa9d31c41cfa5f60dbce1204104eb8d8261be5f (patch) | |
| tree | fad5578bd03825f08b8e0d8ac4bffce1d28c9050 /compiler/rustc_incremental/src | |
| parent | c4926d01ada661d4fbffb0e5b1708ae5463d47b3 (diff) | |
| parent | 14ecee769318615b6497957d225c8869d07f3e97 (diff) | |
| download | rust-0fa9d31c41cfa5f60dbce1204104eb8d8261be5f.tar.gz rust-0fa9d31c41cfa5f60dbce1204104eb8d8261be5f.zip | |
Auto merge of #78876 - GuillaumeGomez:better-setting-keyboard-ux, r=jyn514
Make keyboard interactions in the settings menu more pleasant #78868 improved the keyboard interactions with the settings page. This PR goes a bit further by allowing more than just "space" to toggle the checkboxes. r? `@jyn514`
Diffstat (limited to 'compiler/rustc_incremental/src')
0 files changed, 0 insertions, 0 deletions