Hi Michael....

Hi Anis, thanks for sending this bug report.

It seems to be a timing bug related to history updating.

It's hard for me to reproduce the problem over here, but I have got it a couple of times after moving the mouse around for a while. On your machine where the timing is different it must be easier to trigger it.

I'm taking a look into it.

- Michael

Hi Anis, I think I've got this fixed up for the next v2 beta.

Please let me know if you run into it again after the next release.

Thanks,
- Michael