[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Eli Zaretskii |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Sun, 18 Oct 2020 17:55:56 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Gregory Heytings <ghe@sdf.org>, monnier@iro.umontreal.ca,
> emacs-devel@gnu.org
> Date: Sun, 18 Oct 2020 10:06:48 +0200
>
> >> if (!ft_face)
> >> {
> >> unblock_input ();
> >> /* further cleanup? */
> >> return Qnil;
> >> }
> >
> > We had already such a patch submitted, but not installed for some
> > reason I cannot understand, and it was just recently mentioned on
> > bug-gnu-emacs (together with a few more places where such a test is
> > needed).
>
> I seem to recall that the reason was that the patch doesn't cover the
> other places where the test is needed?
The other places were identified in the discussion, and are quite easy
to find by looking at the code. I'd write the code myself, but I have
no access to a system where I can run the result, so I prefer that
someone else does that.
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/17
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/17
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/17
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/17
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/18
- Re: Suggest installing more fonts?,
Eli Zaretskii <=
- RE: Suggest installing more fonts?, Drew Adams, 2020/10/17
- Re: Suggest installing more fonts?, Richard Stallman, 2020/10/18
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/18
- Re: Suggest installing more fonts?, Stephen Leake, 2020/10/20
Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/17