fn bus_header( ctx: &mut EventCtx<'_>, app: &App, details: &mut Details, id: CarID, tab: Tab) -> Widget