Sylvain

Hello, > Ah, in that case a temporary fix would be to use GTK to set the icon (see GTK docs.) Can you give the code to do that? I...

OK, thank you very much for answering so fast. I probably won’t include so much code into my project, but it’s good to have this code linked from here. :+1:

> > LaTeX-to-unicode: Shift-Space → Primary-Space > > Beware with that, this precise combination was chosen after much debate. The problem with Shift-Space is that the user’s keymap may assign...

Thank you @herbelin. I suggest conforming to VsCoq for the default modifier for navigation, so using Ctrl-Alt on Mac. Let’s wait for @jfehrle’s opinion maybe. > IIRC I think that...

> BTW there is a tooltip in the Settings panel that says "restart to apply", which is incorrect. Maybe remove that. I’ve other modifications pending for the preferences, so it...

Done. The main mistake was for the new key bindings for Previous and Next Tab.

> Did it work on yours? No, it doesn’t work for me either. I don’t even understand which “mouse button” it refers to. It would be weird to have to...

Yeah, that’s weird… What are these hardcoded bindings useful for? Cannot we simply remove them? You have to look at `GtkData.AccelMap` and `GtkData.AccelGroup`: https://garrigue.github.io/lablgtk/lablgtk3/lablgtk3/lablgtk3/GtkData/index.html Use `GtkData.AccelMap.foreach`, then `GtkData.AccelGroup.name` to get...

> It's better to submit multiple unrelated changes as separate PRs for each Yes, I’ve read it in the contributing guidelines. But I don’t know how to handle this correctly,...

> Let us know if you're interested in making other improvements. I would like to translate the interface, using [gettext/gettext-camomile](https://ocaml.org/p/gettext/). It’s a French piece of software and it is all...