buttons_width     748 src/filemanager/filegui.c     int buttons_width;
buttons_width     750 src/filemanager/filegui.c     buttons_width = 2 + progress_buttons[0].len + progress_buttons[3].len;
buttons_width     751 src/filemanager/filegui.c     buttons_width += progress_buttons[i].len;
buttons_width     754 src/filemanager/filegui.c     progress_buttons[0].w->rect.x = w->rect.x + (w->rect.cols - buttons_width) / 2;
buttons_width     882 src/filemanager/filegui.c     int buttons_width;
buttons_width    1003 src/filemanager/filegui.c     buttons_width = 2 + progress_buttons[0].len
buttons_width    1009 src/filemanager/filegui.c     r.cols = MAX (COLS * 2 / 3, buttons_width + 6);