mirror of
https://github.com/emilk/egui.git
synced 2026-07-13 10:08:54 +00:00
943e3618fc
Might want to draw from `interaction.interact_radius` style instead of hard-coding the margin, but I didn't want to create a breaking change. If desired, I can follow up with a separate PR to address that concern. * Closes <https://github.com/emilk/egui/issues/5796> * [x] I have followed the instructions in the PR template