Skip to content

Check renderer schema when updating preference renderers#12347

Merged
colin-grant-work merged 6 commits intoeclipse-theia:masterfrom colin-grant-work:bugfix/preference-schema-change-handlingMar 29, 2023