mirror of
https://github.com/emilk/egui.git
synced 2026-06-27 15:13:12 -04:00
* Closes https://github.com/emilk/egui/pull/8029 --------- Co-authored-by: lucasmerlin <hi@lucasmerlin.me>
* Closes https://github.com/emilk/egui/pull/8029 --------- Co-authored-by: lucasmerlin <hi@lucasmerlin.me>