rnd-20070825-3-src

[rocksndiamonds.git] / src / files.c

diff --git a/src/files.c b/src/files.c
index df60536450e43b3954df90ba81ed3b831e0e1354..cd2f30c6fabdaebb386e02aecc7c4a7adb3844d2 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -8956,7 +8956,8 @@ static void LoadMenuDesignSettingsFromFilename(char *filename)
   {
     char *value = getHashEntry(setup_file_hash, image_config_vars[i].token);
 
-    if (value != NULL)
+    /* (ignore definitions set to "[DEFAULT]" which are already initialized) */
+    if (value != NULL && !strEqual(value, ARG_DEFAULT))
       *image_config_vars[i].value =
        get_token_parameter_value(image_config_vars[i].token, value);
   }