Re: High-res Customize icons

[Robert Pluim]

>>>>> 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.