mirror of
https://github.com/emilk/egui.git
synced 2026-07-10 16:54:09 +00:00
d985bf9b83
* Closes https://github.com/emilk/egui/issues/8001 * Follow-up to https://github.com/emilk/egui/pull/7990 Also simplified/shortened the comments around display handle a bit. Lots a repetition there made it hard to upgrade otherwise.