Opened editors view: weird behaviour when deleting a file #22513
Description
Steps to Reproduce:
- configure
"workbench.editor.closeOnFileDelete": false - open a file
- delete it on disk
=> you should see the file tab getting a "(file deleted on disk)" annotation
=> somehow the opened editors view still shows the entry but you cannot click it and it also does not update until you open another file