I think there should be only one Preferences plist and/or it should be setable in the *.ui el On 2021-03-05 12:38 , Pavel Sanda wrote: [...] > Given that Stephan can not reproduce the best workaround is perhaps > permananetly change the ui file (see Eberhard's mail). > > Pavel >