Skip to content
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

Add languages indicator to Settings editor settings #150233

Closed
wants to merge 4 commits into from

Conversation

rzhao271
Copy link
Contributor

This PR fixes #145731, by adding a new label for language overrides. This label currently shows when a setting has an extension-contributed language-specific default setting value override, but it should also show when a setting has a language-specific value in general.

This PR is not yet ready to merge. I have created some smaller debt-reduction PRs to merge first that are independent of this feature.

@rzhao271 rzhao271 added this to the May 2022 milestone May 23, 2022
@rzhao271 rzhao271 requested a review from sandy081 May 23, 2022 23:20
@rzhao271 rzhao271 self-assigned this May 23, 2022
@sandy081
Copy link
Member

Is it possible to show how the label looks?

@rzhao271 rzhao271 force-pushed the rzhao271/se-lang-indicator branch from d359e92 to 9a9fe82 Compare May 24, 2022 22:02
@rzhao271
Copy link
Contributor Author

Here is an image of how the language indicator currently looks, next to the scope overrides indicator.
I added an icon to the scope overrides indicator as well so that we can remove the parentheses that were previously surrounding the label.

se-lang-indicator

@rzhao271 rzhao271 force-pushed the rzhao271/se-lang-indicator branch from 9a9fe82 to ee15e00 Compare May 24, 2022 22:06
@rzhao271 rzhao271 marked this pull request as ready for review May 24, 2022 22:06
@rzhao271
Copy link
Contributor Author

It looks like GitHub doesn't re-sign commits for you when you select "Update with rebase" to update the PR branch.

@sandy081
Copy link
Member

Please let me know if it is good for review?

@rzhao271 rzhao271 marked this pull request as draft May 31, 2022 14:40
@rzhao271 rzhao271 modified the milestones: May 2022, June 2022 Jun 1, 2022
@rzhao271
Copy link
Contributor Author

Closing. I'll put up a newer PR soon that builds on top of PR #152401.

@rzhao271 rzhao271 closed this Jun 21, 2022
@rzhao271 rzhao271 deleted the rzhao271/se-lang-indicator branch June 21, 2022 21:48
@github-actions github-actions bot locked and limited conversation to collaborators Aug 5, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Indicate if setting has a language-specific value
2 participants