Results .prefs files are flushed at TXM exit even if the "autosave" preference is disabled

Results .prefs files are flushed at TXM exit even if the “autosave” preference is disabled.

Solutions

• call TXMResult.saveParameters(), autoSaveParameters(), etc. (all methods that put some entries in the local preferences node) only if the “autosave” is enabled
• TODO

(from redmine: issue id 2403, created on 2018/06/11 by Sebastien Jacquot)

added persistence priority::high type::bug + 1 deleted label

changed milestone to %TXM 0.8.0

New mechanism always flushes .prefs files but deletes non-persistable result files at exit. This way we can restore some results even if TXM has crashed.

(from redmine: written on 2018/12/21 by Sebastien Jacquot)

closed

assigned to @sjacquot