mini_user_format 811 src/filemanager/boxes.c char *mini_user_format = NULL; mini_user_format 836 src/filemanager/boxes.c &mini_user_format, &mini_user_format_id, FALSE, FALSE, INPUT_COMPLETE_NONE), mini_user_format 876 src/filemanager/boxes.c *minip = mini_user_format;