It should be possible for users to configure keyboard shortcuts, i.e., which key/key combination is assigned to which functionality. This is important for accessibility to allow users configuring keys and key combinations that are possible/convenient for them to press and that don't conflict with other tools they are using. |