[Workspace] Rename command resolves with FileStat

[FernandoAscencio]

What it does

Closes #12101
Rename command now resolves with FileStatWithMetadata on success and undefined when not.

How to test

The second commit includes changes for testing.

1. Start Theia
2. Right click the file to rename
3. Select Test: File Rename in the context menu
4. Check results are as expected.

Review checklist

• As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

• As a reviewer, I agree to behave in accordance with the review guidelines

[vince-fugnitto]

cc @kittaakos

[kittaakos]

Thanks for the fix. I checked out 923cac4 and verified it with the electron example app.

How to test

The second commit includes changes for testing.

1. Start Theia
2. Right click the file to rename
3. Select Test: File Rename in the context menu
4. Check results are as expected.

Interesting way to verify the changeset 🙃 I see the URI in the notification with 923cac4. I cannot reproduce the undefined counter-example, but this is expected.

12278.mp4

[FernandoAscencio]

@kittaakos
The undefined example should happen when you cancel the name change.

[kittaakos]

The undefined example should happen when you cancel the name change.

Verified. Thank you!

12278.mp4

[FernandoAscencio]

The testing commit has been dropped for merging.

[vince-fugnitto]

LGTM 👍

• confirmed that the rename command works as expected for files and folders
• confirmed that the stat is returned on successful renames