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