mirror of
https://github.com/emilk/egui.git
synced 2026-07-15 02:58:53 +00:00
00396145d1
This simplifies and improves the tooltip positioning * Closes https://github.com/emilk/egui/issues/4568 ### For a follow-up PR * [ ] Test if it closes https://github.com/emilk/egui/issues/4471 * [ ] Add an API to close https://github.com/emilk/egui/issues/890