-
Notifications
You must be signed in to change notification settings - Fork 29k
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
Merge labels into a single group #142045
Merge labels into a single group #142045
Conversation
this.ignoredSettings = getIgnoredSettings(getDefaultIgnoredSettings(), this._configService); | ||
this._onDidChangeIgnoredSettings.fire(); | ||
} | ||
this.ignoredSettings = getIgnoredSettings(getDefaultIgnoredSettings(), this._configService); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Note: we fire the event more often here by taking out the if case, because otherwise, OSS doesn't seem to update this.ignoredSettings
when the extension settings finally get loaded.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, only have a minor nit for spacing. Also might be worth exploring some alternate ways to layout all of the labels as they seem to be growing and are quite compact
cc @lychung7
Fixes #107748
Fixes #141960
This PR merges the Settings editor setting side labels into a single group per setting.
We define the side labels as the HTML elements that sometimes show up to the right of setting titles, such as the sync ignored indicator or the default overridden indicator.
At the same time, the PR also adds aria support for those side labels, so that programs such as VoiceOver on macOS can read out that information.