Function nav_badge_column
pub fn nav_badge_column(
theme: &Theme,
text_renderer: &mut TextRenderer,
codes: &[&str],
) -> f64Expand description
The width of the badge column a section’s rows share: the widest of
codes on its pill.