On 2022-05-20, at 6:16 AM, Thiede, Christoph Christoph.Thiede@student.hpi.uni-potsdam.de wrote:
my proposal would be that we set all Preferences' defaultValues to their value during the release building -
Exactly; the release builder should be not just setting the settings but setting the settings for the settings ;-)
tim -- tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim Foolproof operation: All parameters are hard coded.