pub fn update_prev_position(
previous_position: &mut Option<(usize, usize)>,
current_file_index: usize,
current_top: usize,
)Expand description
Helper for big-jump dispatch sites: record the current position as the previous position before performing a discontinuous move.