[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: finger-pointer curser as default for mouse-face text
From: |
Richard Stallman |
Subject: |
Re: finger-pointer curser as default for mouse-face text |
Date: |
Mon, 25 Oct 2004 09:13:20 -0400 |
: Measure the time between the mouse-1 down event and the up event, and
: if it less than 300 ms (configurable), follow the link, else do what
: mouse-1 normally does.
On ms windows this is again a setting in the registry.
I am not quite sure what "this" refers to here. What is the
setting in the registry, and what does its value normally mean?
Does MS Windows have this feature?
- Re: finger-pointer curser as default for mouse-face text, (continued)
- Re: finger-pointer curser as default for mouse-face text, Lennart Borgman, 2004/10/19
- RE: finger-pointer curser as default for mouse-face text, Drew Adams, 2004/10/19
- Re: finger-pointer curser as default for mouse-face text, Richard Stallman, 2004/10/21
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/21
- Re: finger-pointer curser as default for mouse-face text, Lennart Borgman, 2004/10/21
- Re: finger-pointer curser as default for mouse-face text, Richard Stallman, 2004/10/23
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/24
- Re: finger-pointer curser as default for mouse-face text, Lennart Borgman, 2004/10/24
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/24
- Re: finger-pointer curser as default for mouse-face text, Lennart Borgman, 2004/10/24
- Re: finger-pointer curser as default for mouse-face text,
Richard Stallman <=
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/24
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/24
- Re: finger-pointer curser as default for mouse-face text, Richard Stallman, 2004/10/26
- Re: finger-pointer curser as default for mouse-face text, Lennart Borgman, 2004/10/26
- Re: finger-pointer curser as default for mouse-face text, Stefan, 2004/10/24
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/25
- Re: finger-pointer curser as default for mouse-face text, Stefan, 2004/10/25
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/25
- Re: finger-pointer curser as default for mouse-face text, Stefan Monnier, 2004/10/25
- Re: finger-pointer curser as default for mouse-face text, Ralf Angeli, 2004/10/25