From 26cb75e961b0fed3cc139a3b23c92cb35ce6b5dd Mon Sep 17 00:00:00 2001
From: mazmazz <mar.marcoz@outlook.com>
Date: Sat, 26 Oct 2019 12:09:27 -0400
Subject: [PATCH] Fix MIDI not being disabled when non-native

---
 src/s_sound.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/s_sound.c b/src/s_sound.c
index 22bc848fe0..6134e338c2 100644
--- a/src/s_sound.c
+++ b/src/s_sound.c
@@ -2311,7 +2311,7 @@ void GameMIDIMusic_OnChange(void)
 	else
 	{
 		midi_disabled = true;
-		if (S_MusicType() == MU_MID)
+		if (S_MusicType() == MU_MID || S_MusicType() == MU_MID_EX)
 		{
 			if (digital_disabled)
 				S_StopMusic();
-- 
GitLab