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
