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

fixes #213334 #219669

Merged
merged 1 commit into from
Jul 2, 2024
Merged

fixes #213334 #219669

merged 1 commit into from
Jul 2, 2024

Conversation

benibenj
Copy link
Contributor

@benibenj benibenj commented Jul 2, 2024

fixes #213334

@benibenj benibenj self-assigned this Jul 2, 2024
@benibenj benibenj enabled auto-merge (squash) July 2, 2024 10:16
@VSCodeTriageBot VSCodeTriageBot added this to the July 2024 milestone Jul 2, 2024
@benibenj benibenj merged commit c57f7bb into main Jul 2, 2024
7 checks passed
@benibenj benibenj deleted the benibenj/external-dingo branch July 2, 2024 10:33
aaronchucarroll pushed a commit to aaronchucarroll/vscode that referenced this pull request Jul 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Polish editor group context keys in WorkbenchContextKeysHandler
3 participants