-
Hi, I'd like to know if there is a way to move custom preferences (from my own theia extension) out of the "Extensions" folder in the settings editor? |
Beta Was this translation helpful? Give feedback.
Replies: 3 comments 2 replies
-
Hey @Hanksha, you will need to override the theia/packages/preferences/src/browser/util/preference-layout.ts Lines 326 to 328 in c1e4279 |
Beta Was this translation helpful? Give feedback.
-
Hi @msujew Thanks that worked, but I could not use a "title" with it to group the properties together (in the schema), is there a way to do that? |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
Hey @Hanksha,
you will need to override the
PreferenceLayoutProvider
and return a modified layout, see here:theia/packages/preferences/src/browser/util/preference-layout.ts
Lines 326 to 328 in c1e4279