win_width 245 lib/widget/wtools.c int win_width = 0; win_width 268 lib/widget/wtools.c win_width += button_get_width (button) + 1; win_width 278 lib/widget/wtools.c cols = 6 + MAX (win_width, MAX (header_cols, cols)); win_width 294 lib/widget/wtools.c cols = (cols - win_width - 2) / 2 + 2;