Steps to Reproduce:
- Settings:
{
"files.trimFinalNewlines": true
}
- Open a file. Type something. Undo. Save.
- 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