Theia preferences/settings editor

Hi,
I’m trying to develop an extension for editing configuration files. I was looking to be inspired by the type of GUI that Theia currently has on its own preferences/settings editor. I was wondering if someone can help me pinpoint where its located in the source code of Theia?

Thank you in advance!

@loba thank you for the discussion!

I was wondering if someone can help me pinpoint where its located in the source code of Theia?

You’ll find the sources in @theia/preferences, most notably in the views subfolder.

Thank you!