Auto save & new line prevents undo from working

- Version: 1.41.0 - Commit: 9579eda04fdb3a9bba2750f15193e5fafe16b959 - Date: 2019-12-11T17:58:38.338Z - Electron: 6.1.5 - Chrome: 76.0.3809.146 - Node.js: 12.4.0 - V8: 7.6.303.31-electron.0 - OS: Darwin x64 19.2.0 Steps to Reproduce: 1. set `"files.trimFinalNewlines": true` and `"files.autoSave": "afterDelay"`; _edit: instead set `"files.insertFinalNewline": true` to follow POSIX conventions_ 2. move the caret to the very end of the file 3. insert a string at the very end of a file 4. a new line is automatically added 5. try to undo step 3 will remove the new line, which is then added again Does this issue occur when all extensions are disabled?: Yes