(fix) various issues about tab renaming#497

Merged

PuruVJ merged 7 commits intosveltejs:fix/rename-ghost-tab-issuesfrom paoloricciuti:fix-fix/rename-ghost-tab-issues

Jun 27, 2023

+222-428

Commits on Jun 25, 2023

Fix various issues about tab renaming
paoloricciuti
committed