Update scroll_area.rs

emilk · Oct 20, 2024 · b72d3b1 · b72d3b1
1 parent eae65bc
commit b72d3b1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/crates/egui/src/containers/scroll_area.rs b/crates/egui/src/containers/scroll_area.rs
@@ -883,6 +883,8 @@ impl Prepared {
 
                     if !animated {
                         state.offset[d] = target_offset;
+                    } else if let Some(_scroll_to_target) = &mut state.offset_target[d] {
+                        // Probably in the middle of animation process.
                     } else {
                         // The further we scroll, the more time we take.
                         let now = ui.input(|i| i.time);