advice2020 created an issue (geany/geany#4433) Not sure if anyone will agree with this but in `Preferences - Keybindings` section, suggesting to change the key name `Primary` to `Ctrl` instead.
Even though I know what the `Primary` label is referring to, to me this is still a little confusing. -Would imagine `Ctrl` is the more common label used on the key on keyboard. -`Ctrl` is a shorter label which is less text visually when looking through list of keybindings. Thank You -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/4433 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/4...@github.com>
