[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: |
Lennart Borgman |
Subject: |
Re: finger-pointer curser as default for mouse-face text |
Date: |
Sun, 24 Oct 2004 14:59:59 +0200 |
----- Original Message -----
From: "Kim F. Storm" <address@hidden>
: 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.
- Lennart
- Re: finger-pointer curser as default for mouse-face text, (continued)
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/18
- Re: finger-pointer curser as default for mouse-face text, Richard Stallman, 2004/10/18
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/19
- 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 <=
- 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, 2004/10/25
- 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