Handle top-level preference access from plugins#12056
Merged
colin-grant-work merged 1 commit intoeclipse-theia:masterfrom colin-grant-work:bugfix/top-level-plugin-preference-accessJan 11, 2023
+4-2
Commits
Commits on Jan 10, 2023
- committed
Colin Grant