Skip to content

Make keyboard interactions in the settings menu more pleasant#78876

Merged
bors merged 3 commits intorust-lang:masterfrom GuillaumeGomez:better-setting-keyboard-uxDec 1, 2020