Close duplicate editors on same tabbar#12147

Merged

colin-grant-work merged 2 commits intoeclipse-theia:masterfrom colin-grant-work:feature/no-duplicate-editors-same-tab

Feb 9, 2023

+39-30

Commits on Feb 3, 2023

Close other editors found on same tabbar
Colin Grant
committed
Add saveable check
Colin Grant
committed