ui_width 3109 src/filemanager/file.c int b_width, ui_width; ui_width 3120 src/filemanager/file.c ui_width = MAX (COLS / 2, b_width + 6); ui_width 3136 src/filemanager/file.c widget_set_size (wd, wd->y, wd->x, 8, ui_width);