Andre Poenitz <[EMAIL PROTECTED]> writes: | 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?
By mucking with the preferences manually you are on your own and have nothign to complain about. | How do I grep the menus btw? grep XXX lib/ui/default.ui any other questions? -- Lgb