eclipse-theia/theia
Voir sur GitHub[Preference]: Add show modified settings menu-item
Open
#8 252 ouverte le 28 juil. 2020
enhancementhelp wantedpreferences
Métriques du dépôt
- Stars
- (18 676 stars)
- Métriques de merge PR
- (Merge moyen 15j 4h) (75 PRs mergées en 30 j)
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.
