(svn r25592) -Fix [FS#5644]: Changing the script difficulty level in-game would also change the settings using the default even though they were not allowed to change in-game

src/script/script_config.hpp

@@ -107,6 +107,16 @@ public:
 		SSS_FORCE_GAME,    ///< Get the Script config from the current game
 	};
 
+	/**
+	 * As long as the default of a setting has not been changed, the value of
+	 * the setting is not stored. This to allow changing the difficulty setting
+	 * without having to reset the script's config. However, when a setting may
+	 * not be changed in game, we must "anchor" this value to what the setting
+	 * would be at the time of starting. Otherwise changing the difficulty
+	 * setting would change the setting's value (which isn't allowed).
+	 */
+	void AnchorUnchangeableSettings();
+
 	/**
 	 * Get the value of a setting for this config. It might fallback to his
 	 *  'info' to find the default value (if not set or if not-custom difficulty