[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: |
Eli Zaretskii |
Subject: |
Re: Better default values for tooltip padding and `tooltip-hide-delay'? |
Date: |
Wed, 26 Oct 2005 08:39:15 +0200 |
> From: Christian Schlauer <address@hidden>
> Date: Tue, 25 Oct 2005 21:23:05 +0200
>
> On w32, the mouse pointer also moves to the little ediff-frame
What do you mean by that? I don't think the mouse pointer moves for
me on w32 unless I move it myself. Could it be a side effect of some
customization, like using avoid.el?
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, (continued)
- 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, 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 <=
- 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
- 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'?, Luc Teirlinck, 2005/10/14
- Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Richard M. Stallman, 2005/10/14
Re: Better default values for tooltip padding and `tooltip-hide-delay'?, Richard M. Stallman, 2005/10/13