fix(web): refresh open file with the file tree (#7490)

4347f14b89Wout Stiens committed on 8/19/2026, 6:23:20 PM· committed by GitHubparent68d5691
2 files changedLine totals unavailable