if (!level->extro_filename.empty())
{ // Display final credits and go back to the main menu
display_text_file(level->extro_filename,
if (!level->extro_filename.empty())
{ // Display final credits and go back to the main menu
display_text_file(level->extro_filename,