Skip to content

Conversation

@doomlab
Copy link
Member

@doomlab doomlab commented Dec 14, 2025

should fix issue #486 with double tooltips and missing options

@doomlab doomlab linked an issue Dec 14, 2025 that may be closed by this pull request
@doomlab doomlab merged commit 25ed7a5 into dev Dec 15, 2025
1 check passed
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.

notes sidebar

2 participants