diff options
| -rw-r--r-- | common/gameDetector.cpp | 4 | ||||
| -rw-r--r-- | gui/options.cpp | 2 | 
2 files changed, 3 insertions, 3 deletions
| diff --git a/common/gameDetector.cpp b/common/gameDetector.cpp index ca943f6797..a342d9f69e 100644 --- a/common/gameDetector.cpp +++ b/common/gameDetector.cpp @@ -493,10 +493,10 @@ void GameDetector::setGame(const String &name) {  	// override config file global and game-specific options.  	g_config->set_domain ("_COMMAND_LINE");  	updateconfig(); -	g_config->set_domain ("user-overrides"); +	g_config->set_domain ("_USER_OVERRIDES");  	updateconfig();  	g_config->delete_domain ("_COMMAND_LINE"); -	g_config->delete_domain ("user-overrides"); +	g_config->delete_domain ("_USER_OVERRIDES");  }  int GameDetector::parseGraphicsMode(const char *s) { diff --git a/gui/options.cpp b/gui/options.cpp index ecfbc5e836..9072b0b2a6 100644 --- a/gui/options.cpp +++ b/gui/options.cpp @@ -208,7 +208,7 @@ void GlobalOptionsDialog::handleCommand(CommandSender *sender, uint32 cmd, uint3  			const MusicDriver *md = GameDetector::getMusicDrivers();  			for (; md->name; md++) {  				if (md->id == (int) data) { -					g_config->set ("music_driver", md->name, "user-overrides"); +					g_config->set ("music_driver", md->name, "_USER_OVERRIDES");  					break;  				}  			} | 
