[enhancement] As a downstream consumer, I want to reuse the preferences editor and feed it with custom YAML content and scheme #8081
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
preferences
issues related to preferences
Feature Description:
The new preferences editor is just great; I want to reuse its functionality and UI. As the ID of the preferences-widget suggests, maybe it can be converted into a more generic, settings widget:
theia/packages/preferences/src/browser/views/preference-widget.tsx
Line 30 in 3eb0678
Pipe dream:
Resource
on the frontend,The text was updated successfully, but these errors were encountered: