]> git.lizzy.rs Git - rust.git/commit - src/tools/rustfmt
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c4926d0 14ecee7)
Auto merge of #78876 - GuillaumeGomez:better-setting-keyboard-ux, r=jyn514
authorbors <bors@rust-lang.org>
Tue, 1 Dec 2020 09:58:59 +0000 (09:58 +0000)
committerbors <bors@rust-lang.org>
Tue, 1 Dec 2020 09:58:59 +0000 (09:58 +0000)
commit0fa9d31c41cfa5f60dbce1204104eb8d8261be5f
treefad5578bd03825f08b8e0d8ac4bffce1d28c9050tree | snapshot
parentc4926d01ada661d4fbffb0e5b1708ae5463d47b3commit | diff
parent14ecee769318615b6497957d225c8869d07f3e97commit | diff
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`
src/librustdoc/html/static/main.js diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.