header_cols 274 lib/widget/wtools.c const int header_cols = str_term_width1 (header); header_cols 278 lib/widget/wtools.c cols = 6 + MAX (win_width, MAX (header_cols, cols));