[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Better default values for tooltip padding and `tooltip-hide-delay'?
From: |
Richard M. Stallman |
Subject: |
Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
Date: |
Thu, 13 Oct 2005 16:10:44 -0400 |
I don't agree. Only in Ediff-mode they are annoying, otherwise I find
them just too big ;-)
If a substantial number of people find them annoying on the text
in Ediff mode, we could do a number of things:
1. Eliminate the help-echo properties on parts of diff hunks in
Ediff mode.
2. Set it up so that they only appear for the first 4 times
that the mouse is above such text in any given Ediff mode buffer.
(That way, they would be helpful, but once the user has seen
them a few times, they will get out of the way.)
#2 would require some C code, but it won't be very hard C code, so
that is not a major reason not to do this.
- RE: Better default values for tooltip padding and `tooltip-hide-delay'?, (continued)
Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/11
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Chong Yidong, 2005/10/11
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Luc Teirlinck, 2005/10/11
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/12
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Lennart Borgman, 2005/10/12
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Luc Teirlinck, 2005/10/12
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/14
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?,
Richard M. Stallman <=
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/21
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Richard M. Stallman, 2005/10/22
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Eli Zaretskii, 2005/10/22
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/25
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Eli Zaretskii, 2005/10/26
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/27
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Eli Zaretskii, 2005/10/27
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Christian Schlauer, 2005/10/27
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Eli Zaretskii, 2005/10/28
Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Kim F. Storm, 2005/10/22