On Tue, Nov 27, 2001 at 10:58:28AM +0100, Andre Poenitz wrote: > PS: I do not really like the current state of .lyx/preferences. I'd much > prefer if all available options were listed there, but commented out if > set to "default". Much like .muttrc or similar.
And perhaps also add comments about the meanining of each option.
