opened
johnfn
username_0
------

Please *thumbs-up* 👍 this issue if it personally affects you! You can do this by clicking on the emoji-face on the top right of this post. Issues with more thumbs-up will be prioritized.

-----
search highlight is incorrect briefly after undo
issue
created
rebornix
username_1
@username_0 can you help me understand why highlight is not correct after undo? From what I observer, all cases are good.
comment
closed
johnfn
username_0
issue