[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 5743b74d4b 1/2: Improve mouse dragging
From: |
Po Lu |
Subject: |
Re: master 5743b74d4b 1/2: Improve mouse dragging |
Date: |
Fri, 13 May 2022 15:05:39 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> I'm not sure I understand. Do you remember the details of tis
> interference? If not, can you reimplement this using tooltip-show and
> string copying, and tell what problems that yields? I really don't
> want to have the tricky code that sets up colors in tooltip-show to be
> in more than one place, it's a maintenance problem waiting to happen.
The immediate problem is that the tooltip contents get displayed in a
proportional font, which makes no sense when dragging monospace text.
IIRC there was also a problem involving `tooltip-hide-delay' and
help-echo events, but I don't remember the details of that well enough
to reproduce it.
Thanks.
- Re: master 5743b74d4b 1/2: Improve mouse dragging, (continued)
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/12
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/12
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/12
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/12
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/12
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging,
Po Lu <=
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Eli Zaretskii, 2022/05/13
- Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/13
- RE: [External] : Re: master 5743b74d4b 1/2: Improve mouse dragging, Drew Adams, 2022/05/12