You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Dec 15, 2022. It is now read-only.
To reproduce the leakage, do:
Type bug1 -> hit tab to expand snippet -> undo -> hit tab to expand snippet again -> hit tab again because it didn't work the first time: undo did not delete the tab stop at $0 from the first time.
A more obvious version of this is the same, but with bug2:
Type bug2 -> hit tab to expand snippet -> undo -> hit tab to expand snippet again: cursor jumps to the beginning of the prefix.
Pinging @nathansobo@savetheclocktower due to possible relevance from #260 wanting to improve on undo/redo. I thought this should be looked into while at it.