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);