[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Stefan Monnier |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Sat, 17 Oct 2020 09:49:09 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Emacs already knows not to search the available fonts for a character
> that it already tried to display and failed to find a suitable font.
> We should probably reuse the information which says a character
> doesn't have a font for finding such characters and marking them.
I assumed that Emacs knows it's choosing "tofu" for any particular
glyph, regardless if that's the result of a long search or the reuse of
some previous search.
If it doesn't (e.g. it just reuses "the same glyph as last time this
char was used with this face"), then indeed it might be a bit more
tricky, but I'm sure it can be made acceptably cheap (both in terms of
memory&CPU resources and in terms of code complexity).
Stefan
- Re: Suggest installing more fonts?, (continued)
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/16
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/16
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/16
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/16
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/16
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/16
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/16
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/16
- Re: Suggest installing more fonts?, Stefan Monnier, 2020/10/16
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?,
Stefan Monnier <=
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Stefan Monnier, 2020/10/17
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
- Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/16
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/16
- Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/16
- Re: Suggest installing more fonts?, Gregory Heytings, 2020/10/16
Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/16