File gets closed when a parent folder is renamed to different casing #22545
Description
Steps to Reproduce:
- open a file
- rename one of its parent within the explorer to the same name but different case
=> file gets closed in the editor
{{ message }}
Steps to Reproduce:
=> file gets closed in the editor