[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: High-res Customize icons
From: |
Robert Pluim |
Subject: |
Re: High-res Customize icons |
Date: |
Tue, 28 Apr 2020 15:55:33 +0200 |
>>>>> On Fri, 24 Apr 2020 23:38:21 -0400, Richard Stallman <address@hidden>
>>>>> said:
Richard> [[[ To any NSA and FBI agents reading my email: please consider
]]]
Richard> [[[ whether defending the US Constitution against all enemies,
]]]
Richard> [[[ foreign or domestic, requires you to follow Snowden's example.
]]]
>> We don't have facilities to do this, AFAIK. Font selection uses the
>> script of the character and the font coverage. It isn't a user =level
>> issue: once the font is known to the system and/or to the functions
>> that enumerate existing fonts, it will be considered whenever Emacs
>> needs a font for some character.
Richard> It would not be hard to mark a font to be ignored
Richard> in ordinary font selection -- and do something special
Richard> to choose that font for an icon.
The first half of that already exists:
face-ignored-fonts is a variable defined in `C source code'.
Its value is nil
Probably introduced at or before Emacs version 21.1.
Documentation:
List of ignored fonts.
Each element is a regular expression that matches names of fonts to
ignore.
- Re: High-res Customize icons, (continued)
Re: High-res Customize icons, Eli Zaretskii, 2020/04/24
Re: High-res Customize icons, Richard Stallman, 2020/04/24
Re: High-res Customize icons,
Robert Pluim <=
Re: High-res Customize icons, Eli Zaretskii, 2020/04/28
Re: High-res Customize icons, Robert Pluim, 2020/04/29
Re: High-res Customize icons, Eli Zaretskii, 2020/04/29
Re: High-res Customize icons, Richard Stallman, 2020/04/24
Re: High-res Customize icons, Eli Zaretskii, 2020/04/25