Skip to content

feat: improve hovers while editing Verso documents - #492

Merged
david-christiansen merged 2 commits into
mainfrom
better-hovers
Aug 5, 2025
Merged

feat: improve hovers while editing Verso documents#492
david-christiansen merged 2 commits into
mainfrom
better-hovers

Conversation

@david-christiansen

Copy link
Copy Markdown
Collaborator

No description provided.

@david-christiansen
david-christiansen merged commit 64cd333 into main Aug 5, 2025
4 checks passed
@david-christiansen
david-christiansen deleted the better-hovers branch August 5, 2025 06:09
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.

1 participant