Christopher
Results
1
issues of
Christopher
When a file is deleted from within the editor, it is removed visibly from the editor's file tree, but it is not removed as an `EditorFile` from the `FileTreeState`. Repro...