🐞 Source Navigator: File name changed using source navigator successfully, but the source navigator seems not updating itself

🐞 Source Navigator: File name changed using source navigator successfully, but the source navigator seems not updating itself #275