Explorer: undo file operations in Explorer

[isidorn]

Refs: #9390

• Windows @meganrogge
• macOS @rebornix
• Linux @aeschli

Complexity: 4
Authors: @alexdima @jrieken @isidorn
Issues created assign only to @isidorn please

Create Issue

---

File explorer now supports undoing file operations. For this we changed the underlying service which we use for file operations, so we need to verify older Explorer functionality as well. Open a large repository, open VS Code Explorer and verify:

• You can rename files
• You can drag and drop files from within Explorer. You can drag and drop files from outside of VS Code into the Explorer
• You can copy files and folders
• You can Move files to Trash and you can permenantly delete them (alt + context menu)
• You can create new files and folders in the Explorer
• Optional: connect to remote and verify you can download files via context menu action
• All of the above operations can be Undone, both via Ctrl/Cmd + Z and Main Menu > Edit > Undo when the focus is in the Explorer.
• When the focus is in the editor that the Undo and Redo are applied on the Editor. And that the Explorer is Undone only when the focus is on the Explorer
• Redo works as expected
• Delete a very large file > 10mb. Try to bring it back. Make sure VS Code does not freeze.

[isidorn]

Thanks for testing!