Removing a file not possible to undo with "Discard changes"

[ukarlsson]

Removing a file does not work with "Discard changes"

• Remove a file from command line
• Select "Discard changes"
• The changes are still there
• I have to go to terminal and restore the file

[mtsgrd]

Thanks for reporting this regression! I just spoke with @krlvi about it, he's going to fix and then we'll cut a new release.

[Byron]

I think #4585 is talking about a similar, but slightly different issue, and maybe it helps to have both in mind when working on a fix.

[krlvi]

We should have the fix for it today