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.

Sign up for GitHub

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

Jump to bottom

Fix duplicated intersected label highlight #157000

Merged
merged 1 commit into from Aug 3, 2022
Merged

Fix duplicated intersected label highlight #157000

merged 1 commit into from Aug 3, 2022

Conversation

benibenj
Copy link
Contributor

@benibenj benibenj commented Aug 3, 2022

Fixes #62212

@benibenj benibenj enabled auto-merge (squash) August 3, 2022 11:39
@benibenj benibenj self-assigned this Aug 3, 2022
@benibenj benibenj requested a review from alexr00 August 3, 2022 11:39
@benibenj benibenj added the bug Issue identified by VS Code Team member as probable bug label Aug 3, 2022
@benibenj benibenj added this to the August 2022 milestone Aug 3, 2022
@benibenj benibenj merged commit 4ea6a27 into main Aug 3, 2022
@benibenj benibenj deleted the benibenj/labelHighlightIntersect branch August 3, 2022 13:41
@github-actions github-actions bot locked and limited conversation to collaborators Sep 17, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@alexr00 alexr00 alexr00 approved these changes

Assignees

@benibenj benibenj

Labels
bug Issue identified by VS Code Team member as probable bug
Projects
None yet
Milestone
August 2022
Development

Successfully merging this pull request may close these issues.

Tree API bug for overlapping ranges
2 participants
@benibenj @alexr00