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