Skip to content

Conversation

@Yohn
Copy link
Owner

@Yohn Yohn commented Nov 10, 2024

Remove dotted border on [role=button] elements with a tooltip

@Yohn Yohn merged commit fe62017 into Yohn:main Nov 10, 2024
@panda-madness panda-madness deleted the patch-1 branch March 10, 2025 14:13
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.

2 participants