fix new nav-scrollable to jump to first non-skip section

[?]
Aug 12, 2025, 9:00 AM
UBRT5BAUEKCU4PIZHX2JIHS2COBZV4VQON2U7YK7O3M5TVKAKRIQC

Dependencies

Change contents

  • edit in iced_expl_widget/src/nav_scrollable.rs at line 1098
    [2.63132]
    [2.63132]
    // On the first layout call (`sections.len() !=
    // state.section_heights.len()`) jump to first non-skip section
    let context_height = context_height(state.height);
    if let Some(y) = state
    .section_offsets
    .iter()
    .enumerate()
    .find_map(|(ix, offset)| {
    (!state.skip_sections.contains(&ix)).then_some(*offset)
    })
    {
    let y = saturating_sub(y, context_height);
    state.offset_y = y;
    }