Save options before leaving options screen

git-svn-id: svn+ssh://svn.code.sf.net/p/supertuxkart/code/main/trunk@7026 178a84e3-b1eb-0310-8ba1-8eac791a3b58

src/states_screens/options_screen_audio.cpp

@@ -83,6 +83,15 @@ void OptionsScreenAudio::init()
 
 // -----------------------------------------------------------------------------
 
+void OptionsScreenAudio::tearDown()
+{
+    Screen::tearDown();
+    // save changes when leaving screen
+    user_config->saveConfig();
+}   // tearDown
+
+// -----------------------------------------------------------------------------
+
 void OptionsScreenAudio::eventCallback(Widget* widget, const std::string& name, const int playerID)
 {
     if (name == "options_choice")

src/states_screens/options_screen_audio.hpp

@@ -48,6 +48,9 @@ public:
     /** \brief implement callback from parent class GUIEngine::Screen */
     virtual void init();
     
+    /** \brief implement callback from parent class GUIEngine::Screen */
+    virtual void tearDown();
+    
     /** \brief implement optional callback from parent class GUIEngine::Screen */
     virtual void unloaded();
 };