Open jni opened 3 months ago
i think this should be an app-specific preference at best. using +
is very common, and appeared to be the more common delimiter when I looked around when first implementing this (I think it has the advantage of semantics "this key plus this key"). but i do think you should be able to show them however you want to, and perhaps #211 would be a good place to do that
Description
Typically when I think about settings, config, etc, I try to make things as easily human-editable as possible. This one is minor but
Control
is easier to type thanCtrl
(#209), andCtrl-Y
is easier to type thanCtrl+Y
. (I also find it marginally easier to read.)The keybindings modifiers parser already allows
-
when reading, so it would not be a big change (I hope) to change what is written down.