On Tue May 28 10:15:27 2024 +0000, Alexandros Frantzis wrote:
Hmm, actually no. I was trying this in a Win10 VM installation and thought that this matched the behavior I was seeing, but this seems to have beenan artifact of the host system not repeating the key. I tried again on real hardware and I get repetitions for all keys, so I will remove this.
Fixed in v2.