buttons_width 739 src/filemanager/filegui.c const int buttons_width = buttons_width 744 src/filemanager/filegui.c progress_buttons[0].w->rect.x = w->rect.x + (w->rect.cols - buttons_width) / 2; buttons_width 877 src/filemanager/filegui.c int buttons_width; buttons_width 998 src/filemanager/filegui.c buttons_width = 2 + progress_buttons[0].width buttons_width 1004 src/filemanager/filegui.c r.cols = MAX (COLS * 2 / 3, buttons_width + 6);