[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: |
Wed, 27 Oct 2004 13:35:31 -0400 |
BTW, I agree that S-mouse-1 wastes a good mouse binding, as you can
easily get the same function from the menu Options > Set font/fontset.
It is probably not used all that much, so if it is not important
for compatibility, we could get rid of it.
- 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/26
- Re: finger-pointer curser as default for mouse-face text, Luc Teirlinck, 2004/10/26
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Luc Teirlinck, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/27
- feature freeze (was: finger-pointer curser as default for mouse-face text), Reiner Steib, 2004/10/27
- Re: feature freeze (was: finger-pointer curser as default for mouse-face text), Kim F. Storm, 2004/10/27
- Re: feature freeze, David Kastrup, 2004/10/27
- RE: finger-pointer curser as default for mouse-face text, Drew Adams, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/28
- Re: finger-pointer curser as default for mouse-face text,
Richard Stallman <=
- Re: finger-pointer curser as default for mouse-face text, Richard Stallman, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Richard Stallman, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Stefan Monnier, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Miles Bader, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Kai Grossjohann, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Kim F. Storm, 2004/10/27
- Re: finger-pointer curser as default for mouse-face text, Richard Stallman, 2004/10/28