[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: High-res Customize icons
From: |
Lars Ingebrigtsen |
Subject: |
Re: High-res Customize icons |
Date: |
Thu, 23 Apr 2020 17:17:12 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
>> Fonts are vectors graphics (well, these are), so you can scale them
>> without them turning blocky/smudgy. I think that's the most important
>> reason for using fonts instead of images.
>
> Don't SVG images share this nice feature?
They do indeed, but somebody else in the thread said that SVG images had
been considered for the icons, and that had been rejected, I think?
(Perhaps because not all Emacsen are built with SVG support?)
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: High-res Customize icons, (continued)
- Re: High-res Customize icons, Clément Pit-Claudel, 2020/04/23
- Re: High-res Customize icons, Stefan Monnier, 2020/04/23
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/23
- Re: High-res Customize icons, Stefan Monnier, 2020/04/23
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/24
- Re: High-res Customize icons, Stefan Monnier, 2020/04/24
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/24
- Re: High-res Customize icons, Stefan Monnier, 2020/04/24
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/24
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/23
- Re: High-res Customize icons,
Lars Ingebrigtsen <=
- Re: High-res Customize icons, Yuan Fu, 2020/04/23
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/23
- Re: High-res Customize icons, Stefan Kangas, 2020/04/23
- Re: High-res Customize icons, Stefan Kangas, 2020/04/23
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/23
- Re: High-res Customize icons, Clément Pit-Claudel, 2020/04/23
- Re: High-res Customize icons, Stefan Kangas, 2020/04/23
- Re: High-res Customize icons, Clément Pit-Claudel, 2020/04/23
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/23
- Re: High-res Customize icons, Clément Pit-Claudel, 2020/04/24