eclipse-theia/theia
View on GitHub[Preference]: Add show modified settings menu-item
Open
#8,252 opened on Jul 28, 2020
enhancementhelp wantedpreferences
Repository metrics
- Stars
- (18,676 stars)
- PR merge metrics
- (Avg merge 15d 4h) (75 merged PRs in 30d)
Description
Like VSCode, we can implement a Show Modified Settings in the preference UI, which would allow the users to have a list of all the preference values updated by them.
In VSCode.
