[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tooltip-use-echo-area disappeared
From: |
Richard Stallman |
Subject: |
Re: tooltip-use-echo-area disappeared |
Date: |
Fri, 17 Jun 2005 00:38:45 -0400 |
I'm not sure that you've followed the whole thread.
I can never follow the whole of such a thread. I don't have time!
The feature of being
able
to display help messages and GUD variable values in the echo area has *not*
been removed. On the other hand, the variable tooltip-use-echo-area has
been
made obsolete because it involves an ugly hack that intertwines the code in
tooltip.el and gud.el.
I must be confused. If that feature exists, doesn't tooltip-use-echo-area
control whether to enable it?
- Re: tooltip-use-echo-area disappeared, (continued)
- Re: tooltip-use-echo-area disappeared, Nick Roberts, 2005/06/13
- 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 <=
- 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, 2005/06/18
- 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