mirror of
https://github.com/emilk/egui.git
synced 2026-06-27 15:13:12 -04:00
This was broken in cases where the ui wasn't waking up, i.e. when nothing else was happening.
This was broken in cases where the ui wasn't waking up, i.e. when nothing else was happening.