Code

Fix preference tree for plugins#14036

Code

Merged

msujew merged 2 commits intomastereclipse-theia/theia:masterfrom msujew/fix-plugin-preference-treeeclipse-theia/theia:msujew/fix-plugin-preference-treeCopy head branch name to clipboardAug 21, 2024

+130-42

Commits

Commits on Aug 20, 2024

• Fix preference tree for plugins

  msujew

  committed
  d7b2224

Commits on Aug 21, 2024

• Identify visibility recursively

  msujew

  committed
  32325de