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
Note that Redo doesn't work, even though no newlines were trimmed.
(Even if it did trim newlines, is it friendly to clobber the undo history anyway? Hmm...)
trimTrailingWhitespace doesn't have this problem, despite its similar functionality.
Note that with "autosave after delay" on, trying to redo anything is effectively toast.
Reproduces without extensions: Yes
The text was updated successfully, but these errors were encountered:
I'll have a look at this since I was the one who wrote the code in the first place, my bad. Should I look to use executeEdits instead of pushEditOperations?
Steps to Reproduce:
{
"files.trimFinalNewlines": true
}
(Even if it did trim newlines, is it friendly to clobber the undo history anyway? Hmm...)
trimTrailingWhitespace doesn't have this problem, despite its similar functionality.
Note that with "autosave after delay" on, trying to redo anything is effectively toast.
Reproduces without extensions: Yes
The text was updated successfully, but these errors were encountered: