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