fn summary_boxes(ctx: &mut EventCtx<'_>, app: &App, filter: &Filter) -> Widget