Make sure that settings are written to config file when settings are removed.
authorJürgen Doser <jurgen.doser@gmail.com>
Tue, 22 Jan 2013 18:00:48 +0000 (19:00 +0100)
committerJürgen Doser <jurgen.doser@gmail.com>
Tue, 22 Jan 2013 18:05:46 +0000 (19:05 +0100)
commitf0998612457ddc3027618e7e446ed968a14385e7
tree5f6dc09f3e298f2db1cc9b3761aff77e1d662ff6
parentf214940c96d9fef72b06a65641d01115a582b098
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.
src/settings.h