[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: |
Luc Teirlinck |
Subject: |
Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
Date: |
Wed, 12 Oct 2005 19:51:22 -0500 (CDT) |
Christian Schlauer wrote:
But do you read them in the echo area? I disabled tooltip-mode, but
I'm not used to move my eyes up and down between the mouse pointer
somewhere in the buffer to the corresponding tooltip displayed in the
echo area. This is really inconvenient, IMHO.
I personally do not find it inconvenient. Emacs displays many
messages in the echo area that are worth reading, even if tooltip-mode
is enabled. So I am used to pay attention to that area. Moreover, if
something changes on my screen while everything else stays static, my
eyes automatically seem to shift to the area that changed anyway. For
me this is pretty much an automatic reaction. There is no conscious
effort involved.
Sincerely,
Luc.
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, (continued)
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Stefan Monnier, 2005/10/08
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Richard M. Stallman, 2005/10/09
- RE: Better default values for tooltip padding and `tooltip-hide-delay'?, Drew Adams, 2005/10/09
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Lennart Borgman, 2005/10/09
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Stefan Monnier, 2005/10/10
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'?, Richard M. Stallman, 2005/10/13
- 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