Closed davidedc closed 9 years ago
So I did notice this and I fixed it, but I'm guessing it's not in this branch. I'll have a look through the commits tomorrow and see if I can back port that change into the pull request
@rumblesan fixed this and it's now merged in master. Could be in some other branches but Guy is aware of this, so closing this for the time being, we know that we have to check for this glitch now.
Minimal example:
1 - type "box" 2 - delete "box"
expected: the box disappears, the big cursor pops up obtained: the box stays (the "pop-in" animation re-starts), the big cursor pops up