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