emacs-devel
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]