Re: Turning off tooltips

[Jean-Marc Lasgouttes]

>>>>> "Reuben" == Reuben Thomas <[EMAIL PROTECTED]> writes:

Reuben> Is there an X resource I can set to turn off the tooltips?  --

No, I don't think so. Are they so annoying?

JMarc

-- 
                +++ the lyx project user mailing list +++
                To unsubscribe from this list send mail to 
                         [EMAIL PROTECTED]
                    with the **Subject** unsubscribe.