Bug: Closing workspace does not save a new file

[vladarama]

Bug Description:

With AutoSave turned off, closing the Workspace does not save a new file even after being prompted to save it.

Expected Behavior:

The user should be prompted to select a location to save the file before closing the Workspace. The file should be saved at the chosen location, and the workspace should reload successfully, preserving the newly created file.

Actual Behavior:

Instead of prompting the user to select a save location, the Workspace simply reloads, and the newly created file seems to have disappeared. If the user selects File -> Close Editor -> Save instead, Theia prompts the user to select a file location, which is the correct behavior.

Closing Workspace (bug):

Closing Editor (correct):

Steps to Reproduce:

1. Remove AutoSave: File -> AutoSave
2. Create new file from header: File -> New File or Alt+N
3. Enter random content inside this new file which is unsaved
4. Close the workspace and Save All: File -> Close Workspace -> Save All
5. Theia will reload, select your previous workspace
6. The unsaved file is gone even if the Save All option was selected

Additional Information

• Operating System: Windows 11
• Theia Version: 1.37.0
• Tested on both browser and electron