-
Notifications
You must be signed in to change notification settings - Fork 29.4k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Exploration: Language-specific default overridden values and language-specific settings in the Settings editor #131707
Comments
@rzhao271 @misolori This came up many times in different issues and also in Zurich standup today. It is really confusing to users to not to see language overrides in the UI. This also includes default language overrides coming from an extension. It would be great if we can start with some UI mock ups for this. |
/cc @debonte for the specific case of setting |
Actually formatOnType |
Is this needed from either the UI or JSON editor, or both? |
It is needed for the UI editor. |
Would also be worth exploring some alternate ways to lay out the Setting labels as we add more and they get very compact (#142045) |
We are exploring showing the Settings labels as icons that can reveal more information on hover. This can allow users to view multiple overrides from various languages and extensions without the limitation of space next to the setting name. For showing detailed information about overrides we think that placing this information in a table format can allow for quick scanning and editing. Also, another change we discussed was the search experience. For example, when searching for jsonc, we can have a link to configure settings which would then show all jsonc settings that have overrides. |
May I know the relationship between these issues?
They are quite similar, and this issue looks like a comprehensive combination of the others. |
On Insiders, you can now type |
@rzhao271, is it just |
It would be |
The current plan is to keep using language filters, since I'm not sure how often a user would compare language setting values and/or modify them, anyway. However, I did add a button to the Settings editor search widget that I hope makes it easier for users to discover that there is a way to apply a language filter: Something else I'd like to work on is improving support for viewing language-specific extension-contributed default overrides. |
I created #148674 to track the table idea. |
It is not made clear to the user that the non-language-specific user setting user defined for eg
editor.wordSeparators
is overwritten for a language by the default language-specific setting the extension defines.The text was updated successfully, but these errors were encountered: