Skip to content

[editor] deleting a file should be reflected in the corresponding editor #13525

Open
@zoswing

Description

When a file is opened in the editor, if it is deleted using the right-click menu in the navigation tree, the file remains open in the editor but is marked as 'deleted'. However, if you press Ctrl + S to save, the deleted file is restored.
image
In contrast, in VS Code, when a file is deleted from the navigation tree, the opened files in the editor are also closed.
image

I would like Theia to behave consistently with VS Code in this aspect.

Metadata

Assignees

Labels

editorissues related to the editorhelp wantedissues meant to be picked up, require helpui/uxissues related to user interface / user experience

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions