Skip to content

fix: Inconsistent annotation tooltips #23454

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
Merged
merged 1 commit into from
Jul 2, 2025
Merged

fix: Inconsistent annotation tooltips #23454

merged 1 commit into from
Jul 2, 2025

Conversation

zielinsky
Copy link
Contributor

@zielinsky zielinsky commented Jun 30, 2025 •
edited
Loading

@zielinsky zielinsky force-pushed the inconsistent-annotations-tooltip branch 3 times, most recently from 9b34d29 to f542e9e Compare June 30, 2025 18:43
@zielinsky zielinsky changed the title Inconsistent annotation tooltips Jun 30, 2025
tgodzik
tgodzik reviewed Jul 1, 2025
View reviewed changes
@zielinsky zielinsky force-pushed the inconsistent-annotations-tooltip branch from f542e9e to 3cb5f31 Compare July 2, 2025 09:38
@zielinsky zielinsky marked this pull request as ready for review July 2, 2025 10:00
tgodzik
tgodzik approved these changes Jul 2, 2025
View reviewed changes
Copy link
Contributor

@tgodzik tgodzik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!
@tgodzik tgodzik merged commit d109a39 into scala:main Jul 2, 2025
29 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants
@zielinsky @tgodzik