mirror of
https://github.com/emilk/egui.git
synced 2026-07-19 13:08:54 +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.