>>>>> "Joost" == Joost Verburg <[EMAIL PROTECTED]> writes:
Joost> Enrico Forestieri wrote: >> Then read it again just before reading the preferences file. I >> mean, let lyxrc.dist play the exact same role that >> lyxrc.predefaults and lyxrc.postdefaults would play. Joost> That's a good idea. What is your opinion Jean-Marc? Are we sure this is not going to cause problems in some cases? If the only problem is to find a good name for the new file, we can choose lyxrc.postdefaults.dist and be done with it. JMarc
