Markus Heiser 317db5b04f [mod] preferences: implement drop-down menu for hotkeys (default, vim) ...

Replace the on/off checkbox of the vim-hotkeys in the preferences by a drop-down
menu.

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>

2023-09-19 08:06:06 +02:00

9.3 KiB

Raw Blame History

View Raw