Re: High-res Customize icons

[Robert Pluim]

>>>>> On Tue, 28 Apr 2020 17:38:34 +0300, Eli Zaretskii <address@hidden> said:

    >> From: Robert Pluim <address@hidden>
    >> Date: Tue, 28 Apr 2020 15:55:33 +0200
    >> Cc: Eli Zaretskii <address@hidden>, address@hidden, address@hidden
    >> 
    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

    Eli> This variable is not for the kind of tricks we were discussing here.
    Eli> The variable exists to allow users tell Emacs not to use specific
    Eli> fonts for _anything_, on account of them being ugly or inappropriate,
    Eli> or maybe because they crash Emacs.  The fonts mentioned there will not
    Eli> be selected for any codepoint, AFAIU.

Yes, but what I meant is that the mechanism exists. We could add a
non-visible analogue to exclude the hypothetical 'special' font
(although I think I too would prefer to use images).

Robert