buttons_width     718 src/filemanager/filegui.c     int buttons_width;
buttons_width     720 src/filemanager/filegui.c     buttons_width = 2 + progress_buttons[0].len + progress_buttons[3].len;
buttons_width     721 src/filemanager/filegui.c     buttons_width += progress_buttons[i].len;
buttons_width     724 src/filemanager/filegui.c     progress_buttons[0].w->x = w->x + (w->cols - buttons_width) / 2;
buttons_width     804 src/filemanager/filegui.c     int buttons_width;
buttons_width     926 src/filemanager/filegui.c     buttons_width = 2 +
buttons_width     931 src/filemanager/filegui.c     widget_set_size (w, w->y, w->x, y + 3, MAX (COLS * 2 / 3, buttons_width + 6));