mirror of
https://github.com/emilk/egui.git
synced 2026-07-18 12:38:58 +00:00
5ae6d6d901
Useful in many cases. In a follow-up PR I will use it to prevent drift when dragging/resizing windows