[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 5743b74d4b 1/2: Improve mouse dragging
From: |
Eli Zaretskii |
Subject: |
Re: master 5743b74d4b 1/2: Improve mouse dragging |
Date: |
Fri, 13 May 2022 13:32:54 +0300 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: emacs-devel@gnu.org
> Date: Fri, 13 May 2022 15:49:27 +0800
>
> 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.
That is in no way a given. For example, text displayed by EWW is not
fixed-pitch at all.
> > 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.
Yes, I think so. 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/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 <=
- 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
- Re: [External] : Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/12