Function badge_column_width 

pub fn badge_column_width(
    text: &mut TextRenderer,
    theme: &Theme,
    badges: &[&str],
) -> f64

Measure the leading column that fits every badge in badges, so a list of rows with badges of different lengths keeps one title edge. Pass the result to every row’s ListRowFace::leading_column. A Section does this for the retained rows it holds.