Colomban Wendling d6d4728f2e Rename "maintain history on reload" setting temporarily for 1.25
We want it disabled by default in 1.25 for everyone, but want to be
able to get it back on by default later on when the UI is more
polished.

So we will need to have a way to tell whether the configuration comes
from 1.25 and should be upgraded or was willfully disabled by the user
in a later version.  So, use a temporary setting name that defaults to
disabled for 1.25

See #553.
2015-07-11 15:44:00 +02:00
..
2013-03-10 15:10:15 +01:00
2014-04-16 17:19:06 +02:00
2010-09-22 16:33:38 +00:00
2010-09-22 16:33:38 +00:00