[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: |
Thu, 27 Oct 2005 20:15:52 +0200 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (windows-nt) |
Eli Zaretskii <address@hidden> writes:
>> 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?
I started Emacs with `runemacs -q' now and did some ediffing: the
mouse pointer jumps to the little ediff frame, and after `q y', it
jumps back to where it was before.
GNU Emacs 21.3.1 (i386-mingw-nt5.0.2195) of 2004-03-10 on NYAUMO
What about the other things I wrote in that message? Did I convince
you?
--
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'?, 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 <=
- 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