mini_user_format  780 src/filemanager/boxes.c         char *mini_user_format = NULL;
mini_user_format  805 src/filemanager/boxes.c                          &mini_user_format, &mini_user_format_id, FALSE, FALSE, INPUT_COMPLETE_NONE),
mini_user_format  841 src/filemanager/boxes.c             *minip = mini_user_format;