diff options
author | Jürgen Doser <jurgen.doser@gmail.com> | 2013-01-22 19:00:48 +0100 |
---|---|---|
committer | Jürgen Doser <jurgen.doser@gmail.com> | 2013-01-22 19:05:46 +0100 |
commit | f0998612457ddc3027618e7e446ed968a14385e7 (patch) | |
tree | 5f6dc09f3e298f2db1cc9b3761aff77e1d662ff6 | |
parent | f214940c96d9fef72b06a65641d01115a582b098 (diff) | |
download | minetest-f0998612457ddc3027618e7e446ed968a14385e7.tar.gz minetest-f0998612457ddc3027618e7e446ed968a14385e7.tar.bz2 minetest-f0998612457ddc3027618e7e446ed968a14385e7.zip |
Make sure that settings are written to config file when settings are removed.
Previously, settings where only written when a value has changed, and
removal of a setting value didn't count as a change.
-rw-r--r-- | src/settings.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.h b/src/settings.h index 6d6db220c..2b46676c6 100644 --- a/src/settings.h +++ b/src/settings.h @@ -244,7 +244,9 @@ public: updated[name] = true; } - + else //file contains a setting which is not in m_settings + value_changed=true; + return true; } |