mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
This tool highlights coordinates that are non-integer. * Closes https://github.com/emilk/egui/issues/4927 * Will be used for https://github.com/emilk/egui/issues/5163 This is disabled by default (even in debug builds), because so many widgets cause un-alignment currently.