You need to sign in or sign up before continuing.
Add a GUI to customize keyboard shortcuts
Follows #68 (comment 17111), since #68 (closed) was closed by !42 (merged).
Edited by Gaël Bonithon
Follows #68 (comment 17111), since #68 (closed) was closed by !42 (merged).