Fix how hovering tooltip is handled to keep tooltip open#1245
Merged
gabrieljablonski merged 2 commits intomasterfrom Apr 8, 2025
Merged
Fix how hovering tooltip is handled to keep tooltip open#1245gabrieljablonski merged 2 commits intomasterfrom
gabrieljablonski merged 2 commits intomasterfrom