6538c00742
[web] Prune non-existent tabs when file tree changes GitOrigin-RevId: 97e68a88a201acc2d1e582911ca64e1f72f9bfe1