[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: |
Stefan |
Subject: |
Re: finger-pointer curser as default for mouse-face text |
Date: |
Mon, 25 Oct 2004 07:47:44 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/21.3.50 (darwin) |
>> What is the behavior of latex-preview in the case of mouse-1 and in
>> the case of mouse-2? Is mouse-face applied to the actual text or
>> just to the (before|after)-string?
> The behavior of preview-latex when clicking with mouse-1 on a preview
> image is to simply set point on the image (i.e., the behavior is just
> the default, and preview-latex does not tamper with it). You will
> often need to do this to cut and paste the text passage that is hidden
> by the image, for example, it you are doing a mathematical derivation
> and start with the source text of the last equation in order to derive
> the next one. When clicking with mouse-2 on the image, the image is
> replaced by the underlying text. The image has a mouse-face that is
> visible indication that you can mouse-2 the image.
So it's the image (which is placed on a before-string) which has the
`mouse-face', not the buffer's text, right? So Kim's patch won't interfere
since Kim's patch checks (get-char-property (point) 'mouse-face) which
should return nil in your case.
Have you tried his patch or were you just "running it in your head"
(like I usually do myself)?
Stefan
- 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 <=
- 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
- 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