Simon Jeanteur

I'm trying to build and install `roc-toolkit` on a 13" M1 MacBook Pro on macOS Monterey 12.4. Unfortunately, as I follow the wiki's instructions, I get the following error: ```bash...

Option to disable/stop scrolling while drawing

2

**Is your feature request related to a problem? Please describe.** When one initiates a scroll (with touch or trackpad) it is possible to start drawing while continuing to scroll. This...

feat: Option to disable touch scrolling

6

This is a merge request closing #1246 This adds a small button to quickly activate/deactivate the touch scrolling on the canvas. For many situations, this is a very good workaround...

WIP: Add bindings to the user propagator

4

This adds bindings and an API for the user propagator and the `on_clause` callback. I would consider this still experimental, as I'm not fully sure of what `z3` might do...