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

Hook up new markdown workspace header suggestion setting #174004

Merged
merged 1 commit into from Feb 10, 2023

Conversation

mjbvz
Copy link
Contributor

@mjbvz mjbvz commented Feb 9, 2023

Fixes #172977

Also fixes the settingsTree matching settings ids too eagerly

Fixes microsoft#172977

Also fixes the settingsTree matching settings ids too eagerly
@mjbvz mjbvz added this to the February 2023 milestone Feb 9, 2023
@mjbvz mjbvz self-assigned this Feb 9, 2023
@mjbvz mjbvz enabled auto-merge (squash) February 10, 2023 00:32
@mjbvz mjbvz merged commit 34c620e into microsoft:main Feb 10, 2023
c-claeys pushed a commit to c-claeys/vscode that referenced this pull request Feb 16, 2023
…74004)

Fixes microsoft#172977

Also fixes the settingsTree matching settings ids too eagerly
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2023
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.

Make it easier to create a link to a markdown header anywhere by name
2 participants