I want to add the
Ctrl + = shortcut to CoqIDE on top of the
Ctrl + + one, since it is a bit silly that some users (me) have to hold shift to zoom in. The gtk3 doc says use gtk_application_set_accels_for_action () but that doesn't seem to be supported in lablgtk3 yet. The deprecated gtk_application_add_accelerator () is in lablgtk3 though.
Now that's great, but I have no idea when I should be calling this. Any ideas? cc @Hugo Herbelin
Do I do it just after building the menu item for Zoom in? If so how.
I'm afraid that I don't know very well the part of gtk3 and lablgtk that deals with accelerators. What you propose seems good.
OK, I'll have to hack around with it a bit then
Last updated: Dec 07 2023 at 06:38 UTC