mirror of
https://github.com/emilk/egui.git
synced 2026-06-27 07:03:14 -04:00
This will allow disabling the animation that occurs during `scroll_to_row` calls. Follows the same coding style as the other scroll options in `TableBuilder`. --------- Co-authored-by: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>