Louis Gesbert

Just in case, you don't happen to have any previous installation of GTK on that machine ?

Ok. Thanks for the report, I hope I can find a way to reproduce. Does that happen just at startup or after any use ?

I'm clueless, works like a breeze on windows 8 64 here...

You can activate some debug information by running from a console with environment variable OCP_DEBUG set to 1.

That's a difficult question. It would be problematic to allow one to send the input directly to the stdin of ocaml (which is where `read_int()` reads from), because this is...

There are now a few options, but only available from the command-line. (1644af34d42b65c35ad8c02aa8cb5a1bf25b8df7)

The most important setting, font size, can be set with ctrl-+ and ctrl-- (but it's easy to bind to any control now that it is there) That must be documented,...

Note that it would be possible for the Catala compiler to leverage e.g. [Cmarkit](https://erratique.ch/software/cmarkit) for handling of CommonMark (I trust the author of this lib to be strict about the...

Build on OSX fails, but actually at the OCaml compilation stage ; I have no idea about the state of the OCaml 5.1 support, maybe it's been discontinued for x86_64...

All other checks pass ; some more manual testing is still warranted (I checked the printing, running and grading only on a few ones)