On Tue, May 14, 2002 at 01:43:32PM +0200, Lars Gullik Bj�nnes wrote: > | PS: Did I mention lately that I am really annoyed by .lyx/preferences, > | since I run into excatly the same problem there? What is > > but you are not supposed to read preferences at all.
Why? Should I always dig through the menus just to learn where my favourite switch is hidden today? How do I grep the menus btw? Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
