mirror of
https://github.com/emilk/egui.git
synced 2026-07-17 03:58:53 +00:00
12468438a3
* Closes https://github.com/emilk/egui/issues/3756 Fix suggested by @morionelab