[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: |
Christian Schlauer |
Subject: |
Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
Date: |
Fri, 21 Oct 2005 19:30:36 +0200 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (windows-nt) |
"Richard M. Stallman" <address@hidden> writes:
> 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.
I would prefer the first solution, as I think that the meaning of the
font locking is quite obvious. I wouldn't want to see them the first 4
times each time I use ediff (if I understood you correctly) -- then I
would want to turn off tooltip-mode in ediff-mode only.
--
Christian Schlauer
- 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, 2005/10/13
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?,
Christian Schlauer <=
- 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
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Luc Teirlinck, 2005/10/11