Simon Jeanteur

I don't know if it is relevant, but I've found [this](https://github.com/NixOS/nixpkgs/issues/381941) issue that talks about discrepancies between nixos's openmp and ubuntu using `gcc`. It doesn't have any comment, so I...

So apparently Ubuntu ships with a version of `z3` that is too old for the user propagator...

So I discovered that we can get null pointer back from z3 with my implementation of `fresh_eh` (which will result in a crash). TL;DR: current lifetimes don't match `z3`'s and...

Amazing! It sounds like this does indeed solve most of my issues! I'll have a try at this Weekend

> think that's the absence of fill color that play a role in the theme working. For example, there is a fill="#2e3436" in https://github.com/flxzt/rnote/blob/33fdab032faaf3bee41e9ed65e286f04988a00b0/crates/rnote-ui/data/icons/scalable/actions/add-page-symbolic.svg?short_path=1fc3354 That was my understanding as well....

A month later, I finally had time to work on this again ^^' As far as I can tell, all the problems I listed above are fixed. I ended up...

Well, I far as I can tell, my branch works (I've been using it since my last comment, and it hasn't crashed on me). I need to rebase anyway because...

just so you know everything has been rebased and is apparently working.

I've been fairly successfull at deactivating touch input on demand: https://github.com/puyral/rnote/tree/add-block-touch This add a buton on the header (next to the `focus mode`) that deactivate all touch event (that I...

Done ! Sorry, I didn't have GitHub notifications set up in October, so this flew under my radar... This was also the occasion for me to make a real development...