[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:49:27 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> This can be countermanded by using a variant of tooltip-face that
> doesn't specify the variable-pitch inheritance.
>
> In general, though, the text should have the same typeface as the
> region you are dragging, right? IOW, if the region you are dragging
> uses variable-pitch, the tooltip should use that as well.
Yes. But in most cases the user will be dragging text, which in Emacs
is typically fixed-pitch.
> I would suggest refactoring tooltip-show and possibly the 'tooltip'
> face as well, so that use of the variable-pitch attribute could be
> controlled by the caller if the tooltips are used for something other
> than their original goal.
I will look into that. Adding a FACE argument to `tooltip-show' that
specifies the face to use for the tooltip text and colors instead of
hard-coding `tooltip' could work neatly, I think.
- 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/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 <=
- 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
- Re: [External] : Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/12
- RE: [External] : Re: master 5743b74d4b 1/2: Improve mouse dragging, Drew Adams, 2022/05/12