From 981f5bb424828af4edc5220b4e03565bbd145985 Mon Sep 17 00:00:00 2001
From: hikerstk <hikerstk@178a84e3-b1eb-0310-8ba1-8eac791a3b58>
Date: Tue, 12 Feb 2008 12:37:47 +0000
Subject: [PATCH] Missing part from Paul's patch - dis/en-able music when music
 is switched off/on in sound option menu.

git-svn-id: svn+ssh://svn.code.sf.net/p/supertuxkart/code/trunk/supertuxkart@1472 178a84e3-b1eb-0310-8ba1-8eac791a3b58
---
 src/gui/config_sound.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/gui/config_sound.cpp b/src/gui/config_sound.cpp
index 825e61384..75245a310 100644
--- a/src/gui/config_sound.cpp
+++ b/src/gui/config_sound.cpp
@@ -22,6 +22,7 @@
 #include "user_config.hpp"
 #include "menu_manager.hpp"
 #include "translation.hpp"
+#include "sound_manager.hpp"
 
 enum WidgetTokens
 {
@@ -96,11 +97,13 @@ void ConfigSound::select()
         {
             user_config->setMusic(UserConfig::UC_DISABLE);
             widget_manager->setWgtText(WTOK_MUSIC, _("Turn on music"));
+            sound_manager->stopMusic();
         }
         else
         {
             user_config->setMusic(UserConfig::UC_ENABLE);
             widget_manager->setWgtText(WTOK_MUSIC, _("Turn off music"));
+	    sound_manager->playMusic(stk_config->m_title_music);
         }
         break;
     case WTOK_SFX: