[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: High-res Customize icons
From: |
Stefan Monnier |
Subject: |
Re: High-res Customize icons |
Date: |
Fri, 24 Apr 2020 11:13:35 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> We are talking about specific use cases, not in general.
[...]
> I think showing arbitrary images by displaying a special codepoint
> will always be worse than just displaying images.
The specific use cases that all-the-icons aims to cover is not "showing
arbitrary images". It's mainly prettifying the modeline, using small
icons instead of text in the modeline to save space, and adding small
icons on each line in a list buffer like dired. In these 3 cases,
I don't think using fonts is obviously more wrong than using images.
Stefan
- Re: High-res Customize icons, (continued)
- 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, Lars Ingebrigtsen, 2020/04/23
- 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 <=
- 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, 2020/04/23
- 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