eht16 left a comment (geany/geany#4433) I'd agree that `Ctrl` is more commonly used and might be a better choice.
But we cannot easily change this name as it is provided and parsed directly by GTK, see https://docs.gtk.org/gtk3/func.accelerator_name.html and https://docs.gtk.org/gtk3/func.accelerator_parse.html. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/4433#issuecomment-3289460132 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/4433/[email protected]>
