fn info_body(ctx: &EventCtx<'_>, app: &App, id: LaneID) -> Widget