Skip to content

Avoid name collisions between hover's buffer names#67

Closed
usfbih8u wants to merge 1 commit into
Andriamanitra:mainfrom
usfbih8u:fix_hover_buffer_name_collision
Closed

Avoid name collisions between hover's buffer names#67
usfbih8u wants to merge 1 commit into
Andriamanitra:mainfrom
usfbih8u:fix_hover_buffer_name_collision

Conversation

@usfbih8u

Copy link
Copy Markdown
Contributor

If you use lsp hover multiple times on different identifiers without closing the buffer, as the buffer name keeps being the same, it opens the same buffer again. To avoid the name conflict, the timestamp is appended to the name.

If you use `lsp hover` multiple times on different identifiers without closing
the buffer, as the buffer name keeps being the same, it opens the same buffer
again. To avoid the name conflict, the timestamp is appended to the name.
@Andriamanitra

Copy link
Copy Markdown
Owner

I think the bug is not that it uses the same buffer but that it doesn't update its contents.

Although the whole hover system will need to be rewritten anyway when we get built-in overlays (micro-editor/micro#3733) so I'm not too concerned about this issue.

@usfbih8u

Copy link
Copy Markdown
Contributor Author

In fact, I did not use my tooltip module for hover because I see having multiple splits open at the same time useful.

Close the PR if you don't want it.

@Andriamanitra Andriamanitra added the wontfix This will not be worked on label Jul 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

wontfix This will not be worked on

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants