mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
3a1244f672
With this PR, if a widget moves or repaints, egui will automatically repaint. Usually this is what you want: if something is moving we should repaint until it stops moving. However, this could potentially create false positives in some rare circumstances, so there is an option to turn it off with `Options::repaint_on_widget_change`.