[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: |
Ralf Angeli |
Subject: |
Re: finger-pointer curser as default for mouse-face text |
Date: |
Mon, 25 Oct 2004 16:52:24 +0200 |
User-agent: |
Gnus/5.110003 (No Gnus v0.3) Emacs/21.3.50 (gnu/linux) |
* Stefan Monnier (2004-10-25) writes:
> I quite understand this part.
> It's clear that Kim's patch can introduce undesired behavior.
> The question is how often such undesired behavior happens in practice.
>
> I suspect that the number of packages where moving point into a piece of
> text with the `mouse-face' property does anything more than move point
With tex-fold.el (part of AUCTeX) there is another package which
reveals text which is hidden by a display property if point is moved
horizontally into the respective area.
> (while left-clicking only moves point)
In tex-fold.el left-clicking currently will reveal the folded text.
(Similar to preview-latex there is an overlay on the text with
'mouse-face set.) The reactions to mouse clicks will be synchronized
with preview-latex in the future. What actions will be triggered by
mouse-1 and mouse-2 will be subject to discussion.
> is extremely small. `preview-latex'
> is very much unusual in this respect.
Well, there is preview-latex and tex-fold.el. And Talcum
(<URL:http://talcum.sarovar.org/>) reveals text on cursor movement as
well. I didn't check how it behaves with regard to mouse clicks,
though.
--
Ralf
- Re: finger-pointer curser as default for mouse-face text, (continued)
- 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
- 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 <=
- 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, 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, Kim F. Storm, 2004/10/26
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/26
- 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, Drew Adams, 2004/10/26
- Re: finger-pointer curser as default for mouse-face text, David Kastrup, 2004/10/26
- 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