Re: High-res Customize icons

[Stefan Monnier]

> It's simply wrong to use fonts for these matters.  I very much hope
> that we don't go down this road.  FWIW.

Using fonts for those things has problems, yes.  Using images has
problems as well.

I'm not sure which is more wrong, and I think it very much depends on
the specific use cases.  And I think the boundary between the two is
likely to move over time, seeing how Unicode is integrating ever more
icons under the name "emoji".


        Stefan