mirror of
https://github.com/emilk/egui.git
synced 2026-07-12 17:48:55 +00:00
a1d5145c16
This PR hides the hover UI for a given widget whenever a corresponding context menu is opened. Fixes: - https://github.com/rerun-io/rerun/issues/5310