[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tooltip-use-echo-area disappeared
From: |
Nick Roberts |
Subject: |
Re: tooltip-use-echo-area disappeared |
Date: |
Tue, 14 Jun 2005 09:03:18 +1200 |
> >Setting tooltip-use-echo-area to t meant that normal (and GUD) tooltip
> >strings were displayed in the echo area i.e not really as tooltips.
> >They can now be displayed there independently. For GUD tooltips set
> >gud-tooltip-echo-area to t. For normal (help) tooltips, just turn
> >tooltip-mode off.
> >
> >
> Meanwhile, tooltip-use-echo-area has been abducted by gud for use as an
> alias, breaking existing code that assumed it was a general user option
> for controlling the display of tooltips.
Or even kidnapped by gud. Rather than use dramatic language to heighten
your case, it would be more helpful if described what code it breaks, and
how it breaks it. We could then decide what to do.
> Shouldn't turning tooltip-mode off disable tooltips completely, whether
> they are displayed in frames or the echo area?
Having tooltip-mode on and tooltip-use-echo-area set to t wasn't exactly the
same as having tooltip-mode off. With the former, messages were displayed in
the echo area in the manner of a tooltip i.e they required the mouse to pause
over the text etc. With the latter, help messages appear instantly like
mouse-face. It is not a tooltip and might even predate them, which might
explain the apparent anomaly. AFAIK, this is how it has always been, and
no-one has found a problem with it.
Nick
- tooltip-use-echo-area disappeared, Jason Rumney, 2005/06/02
- RE: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/02
- RE: tooltip-use-echo-area disappeared, jasonr, 2005/06/02
- RE: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/02
- Re: tooltip-use-echo-area disappeared, Jason Rumney, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Kim F. Storm, 2005/06/13
- Re: tooltip-use-echo-area disappeared,
Nick Roberts <=
- Re: tooltip-use-echo-area disappeared, Jason Rumney, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Eli Zaretskii, 2005/06/13
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/14
- Re: tooltip-use-echo-area disappeared, Eli Zaretskii, 2005/06/14
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/14
- Re: tooltip-use-echo-area disappeared, Eli Zaretskii, 2005/06/14
- Re: tooltip-use-echo-area disappeared, Richard Stallman, 2005/06/16
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/16
- Re: tooltip-use-echo-area disappeared, Richard Stallman, 2005/06/17