+static void PlayInfoSound(void)
+{
+ int info_sound = getInfoScreenBackgroundSound_Generic();
+ char *next_sound = getSoundInfoEntryFilename(info_sound);
+
+ if (next_sound != NULL)
+ PlayMenuSoundExt(info_sound);
+ else
+ PlayMenuSound();
+}
+
+static void PlayInfoSoundIfLoop(void)
+{
+ int info_sound = getInfoScreenBackgroundSound_Generic();
+ char *next_sound = getSoundInfoEntryFilename(info_sound);
+
+ if (next_sound != NULL)
+ PlayMenuSoundIfLoopExt(info_sound);
+ else
+ PlayMenuSoundIfLoop();
+}
+
+static void PlayInfoMusic(void)
+{
+ int info_music = getInfoScreenBackgroundMusic_Generic();
+ char *curr_music = getCurrentlyPlayingMusicFilename();
+ char *next_music = getMusicInfoEntryFilename(info_music);
+
+ if (next_music != NULL)
+ {
+ // play music if info screen music differs from current music
+ if (!strEqual(curr_music, next_music))
+ PlayMenuMusicExt(info_music);
+ }
+ else
+ {
+ // only needed if info screen was directly invoked from main menu
+ PlayMenuMusic();
+ }
+}
+
+static void PlayInfoSoundsAndMusic(void)
+{
+ PlayInfoSound();
+ PlayInfoMusic();
+}
+
+static void FadeInfoSounds(void)
+{
+ FadeSounds();
+}
+
+static void FadeInfoMusic(void)
+{
+ int info_music = getInfoScreenBackgroundMusic_Generic();
+ char *curr_music = getCurrentlyPlayingMusicFilename();
+ char *next_music = getMusicInfoEntryFilename(info_music);
+
+ if (next_music != NULL)
+ {
+ // fade music if info screen music differs from current music
+ if (!strEqual(curr_music, next_music))
+ FadeMusic();
+ }
+}
+
+static void FadeInfoSoundsAndMusic(void)
+{
+ FadeInfoSounds();
+ FadeInfoMusic();
+}
+