Théo Cavignac

Hi, The problem does not only concerns the selection, but all mouse interactions. It also depends on the size of the font and increases with the distance to the top...

Hi, just so you know, I am playing around with a toggleable help bar leave, and it requires some representation of key binding, so I am waiting on this to...

Hi, @charleslambert I think you have a good point: having written a small component myself, I see the value of defining basic actions, but letting the user define the effective...

I guess you would have the functions be `model -> model` or `'something -> unit`.

Hi, I think I observe the same bug when running the basic example with commit 7a64431fb340. Here are gifs made from the same program [examples/basic/main.ml](https://github.com/leostera/minttea/blob/7a64431fb340328d70c45c2a1f009d3fe431b823/examples/basic/main.ml) and the same tape file...