Théo Cavignac
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...
Hi, Zero padded numbers denotes octal in C and JS (and yes it's a dumb legacy feature), so I don't see this changing, as JS is probably the number one...
I am going to investigate the bug myself and try to fix it, but right now I just have time for the report.
simple bug, easy fix :)
Just realized npzread is not as trivial as I thought because of the npz/npy detection.
> Just realized npzread is not as trivial as I thought because of the npz/npy detection. What seemed difficult was to not require `seekable`, but it turns out Numpy does...