mini_user_format  779 src/filemanager/boxes.c         char *mini_user_format = NULL;
mini_user_format  804 src/filemanager/boxes.c                          &mini_user_format, &mini_user_format_id, FALSE, FALSE, INPUT_COMPLETE_NONE),
mini_user_format  840 src/filemanager/boxes.c             *minip = mini_user_format;