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

Bring back Hover #129

Open
Tracked by #136
psteinroe opened this issue Aug 1, 2024 · 0 comments
Open
Tracked by #136

Bring back Hover #129

psteinroe opened this issue Aug 1, 2024 · 0 comments
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@psteinroe
Copy link
Collaborator

psteinroe commented Aug 1, 2024 •
edited
Loading

re-integrate the hover feature crate, expose it in the workspace api and integrate it into the language server.

its currently not used in the new infrastructure.

we should also polish it to support more types and integrate it with our markup.
@psteinroe psteinroe added enhancement New feature or request good first issue Good for newcomers labels Aug 1, 2024
@psteinroe psteinroe mentioned this issue Aug 1, 2024
Closed
14 tasks
@psteinroe psteinroe changed the title Hover Re-Integrate Hover Jan 28, 2025
@psteinroe psteinroe changed the title Re-Integrate Hover Bring back Hover Jan 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@psteinroe