On Fri, Jan 09, 2004 at 03:22:28PM +0100, Lars Gullik Bjønnes wrote: > Who told you that you should be able to edit preferences manually at > all?
It used to work that way for eight years or so and I still use it this way. > | Simple solution: Add a message to the beginning of .lyx/preferences > | saying something like "edit at your own risk". > > No. "DO NOT EDIT THIS FILE" > > would be better. Maybe. > > > | Intermediate solution: Add a bind-section to preferences? > > yes. with gui. Optionally, yes. However, a only "solution" this would be a regression. Editing the preference files manually is much faster than clicking around in some Gui. [...] Other proposal: Have some .lyx/preferences.user (or similar) that's read after .lyx/preferences and never touched by LyX itself (pretty much the same mechanism as most shell setups) Andre'
