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
Select world and hit Enter once. Hit undo. Nothing will apparently happen because what's being undone is the trailing whitespace after "hello". If you enable rendering of whitespace, it becomes apparent that when hitting enter, the whitespace is removed after you hit enter.
I don't know if VSCode offers the necessary plumbing to ensure that the removal of whitespace either isn't a separate step in the undo stack or is grouped together with the last edit operation. Either way, this is very annoying, since I expect "undo" to only undo what I did, not the automatic trimming.
The text was updated successfully, but these errors were encountered:
I am out at the moment, but I'll make an update as soon as I get a chance. You're right, it looks like the API supports this behaviour. The line of code to change is here if you want to make the change before I get to it.
For example: Say you have this:
Select
world
and hit Enter once. Hit undo. Nothing will apparently happen because what's being undone is the trailing whitespace after "hello". If you enable rendering of whitespace, it becomes apparent that when hitting enter, the whitespace is removed after you hit enter.I don't know if VSCode offers the necessary plumbing to ensure that the removal of whitespace either isn't a separate step in the undo stack or is grouped together with the last edit operation. Either way, this is very annoying, since I expect "undo" to only undo what I did, not the automatic trimming.
The text was updated successfully, but these errors were encountered: