[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 15:16:20 +0300 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: emacs-devel@gnu.org
> Date: Fri, 13 May 2022 19:10:37 +0800
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > That is in no way a given. For example, text displayed by EWW is not
> > fixed-pitch at all.
>
> Which will be respected now, but not in Emacs 28, where any text will be
> displayed in a variable-pitch face.
In the change you installed (thanks!), I would suggest to rename
FRAME-FACE to DEFAULT-FACE.
Also "Emacs is built with support for system tooltips" is too vague;
suggest to mention GTK and whatever other configurations for which
this is relevant.
- 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/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, 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 <=
- 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
- RE: [External] : Re: master 5743b74d4b 1/2: Improve mouse dragging, Drew Adams, 2022/05/13
- Re: [External] : Re: master 5743b74d4b 1/2: Improve mouse dragging, Po Lu, 2022/05/13