fn header_btns(ctx: &EventCtx<'_>) -> Widget