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 > -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
