> On 2022-05-20, at 6:16 AM, Thiede, Christoph <Christoph.Thiede at 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 at rowledge.org; http://www.rowledge.org/tim
Foolproof operation:  All parameters are hard coded.