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;