[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Suggest installing more fonts?
From: |
Lars Ingebrigtsen |
Subject: |
Re: Suggest installing more fonts? |
Date: |
Sun, 18 Oct 2020 10:03:25 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Then I really don't understand the goal here, because I think the
> problems people report are never about "the major fonts" or the
> "usual" scripts -- those are well covered by our default fontset.
I was just thinking about listing fonts like DejaVu Sans and Noto (with
a wide support for many scripts), not smaller language-specific fonts.
And Symbola?
> Before we implement something like that, we should be reasonably
> certain it will not annoy most users (not only power users). It is
> entirely legitimate to leave some of the Unicode blocks uncovered by
> the fonts you have installed, and having Emacs display warnings about
> that might be annoying. OTOH, such a feature must be turned on by
> default, otherwise it will not do its job. So knowing whether users
> will welcome this is important, IMO.
We display a button in warning buffers saying "Click here to switch the
warning off", so I think the annoyance factor would be somewhat limited.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Suggest installing more fonts?, (continued)
Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/16
Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/16
Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/17
Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/17
Re: Suggest installing more fonts?,
Lars Ingebrigtsen <=
Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/18
Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/19
Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/19
Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/20
Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/20
Re: Suggest installing more fonts?, Lars Ingebrigtsen, 2020/10/21
Re: Suggest installing more fonts?, Michael Albinus, 2020/10/21
Re: Suggest installing more fonts?, Stefan Kangas, 2020/10/21
Re: Suggest installing more fonts?, Eli Zaretskii, 2020/10/21
tofu-help-mode (was: Suggest installing more fonts?), Stefan Monnier, 2020/10/21