Guard against identical ID's in plugin tree view#12338

Merged

colin-grant-work merged 1 commit intoeclipse-theia:masterfrom colin-grant-work:bugfix/plugin-tree-ids

Apr 4, 2023

+28-15

Commits on Apr 4, 2023

Follow VSCode's strategy
colin-grant-work
committed