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: Jun 09 2023 at 08:01 UTC