Skip to content

Fix code lens id clash#54851

Merged
SomeoneToIgnore merged 1 commit into
mainfrom
kb/better-lens-ids
Apr 25, 2026
Merged

Fix code lens id clash#54851
SomeoneToIgnore merged 1 commit into
mainfrom
kb/better-lens-ids

Conversation

@SomeoneToIgnore

Copy link
Copy Markdown
Contributor

Follow-up to #54100

Instead of relying on "line number" that could have overlapped depending on the range we query, use hierarchical IDset: block id -> lens # to ensure no clashes happen anymore.

Release Notes:

  • N/A

@cla-bot cla-bot Bot added the cla-signed The user has signed the Contributor License Agreement label Apr 25, 2026
@zed-community-bot zed-community-bot Bot added the staff Pull requests authored by a current member of Zed staff label Apr 25, 2026
@SomeoneToIgnore SomeoneToIgnore added this pull request to the merge queue Apr 25, 2026
Merged via the queue into main with commit 832c17e Apr 25, 2026
41 checks passed
@SomeoneToIgnore SomeoneToIgnore deleted the kb/better-lens-ids branch April 25, 2026 11:26
ebaah46 pushed a commit to ebaah46/zed that referenced this pull request May 6, 2026
Follow-up to zed-industries#54100

Instead of relying on "line number" that could have overlapped depending
on the range we query, use hierarchical IDset: `block id -> lens #` to
ensure no clashes happen anymore.

Release Notes:

- N/A
kathbigra pushed a commit to kathbigra/zed that referenced this pull request May 10, 2026
Follow-up to zed-industries#54100

Instead of relying on "line number" that could have overlapped depending
on the range we query, use hierarchical IDset: `block id -> lens #` to
ensure no clashes happen anymore.

Release Notes:

- N/A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement staff Pull requests authored by a current member of Zed staff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants