[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: |
Sat, 18 Jun 2005 20:42:08 +1200 |
Richard Stallman writes:
> > I must be confused. If that feature exists, doesn't
> tooltip-use-echo-area
> > control whether to enable it?
>
> That is one way, but not the only one.
>
> What is the interface you recommend, to control this?
To display help tooltips in the echo area turn `tooltip-mode' off.
To display GUD tooltips in the echo area turn `gud-tooltip-mode' on and set
`gud-tooltip-echo-area' to t.
This sounds more complicated, but displaying help text in the echo area
shouldn't require tooltips. It a text property like mouse-face. Using
tooltip-use-echo-area invokes tooltip-show with its delays etc
unnecessarily.
In contrast displaying GUD tooltip text in the echo area does require
the gud-tooltip machinery (like track-mouse) because text properties
aren't involved.
Nick
- Re: tooltip-use-echo-area disappeared, (continued)
- 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
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/17
- Re: tooltip-use-echo-area disappeared, Eli Zaretskii, 2005/06/17
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/18
- Re: tooltip-use-echo-area disappeared, Eli Zaretskii, 2005/06/18
- Re: tooltip-use-echo-area disappeared, Richard Stallman, 2005/06/17
- Re: tooltip-use-echo-area disappeared,
Nick Roberts <=
- Re: tooltip-use-echo-area disappeared, Richard Stallman, 2005/06/18
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/19
- Re: tooltip-use-echo-area disappeared, Jason Rumney, 2005/06/16