Stream: Coq devs & plugin devs

Topic: Adding accels in lablgtk


view this post on Zulip Ali Caglayan (Jul 22 2021 at 10:21):

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.

view this post on Zulip Hugo Herbelin (Jul 22 2021 at 13:07):

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.

view this post on Zulip Ali Caglayan (Jul 22 2021 at 13:15):

OK, I'll have to hack around with it a bit then


Last updated: Oct 21 2021 at 21:03 UTC