[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: High-res Customize icons
From: |
Eli Zaretskii |
Subject: |
Re: High-res Customize icons |
Date: |
Wed, 22 Apr 2020 21:38:59 +0300 |
> From: chad <address@hidden>
> Date: Wed, 22 Apr 2020 11:28:11 -0700
> Cc: Clément Pit-Claudel <address@hidden>,
> EMACS development team <address@hidden>
>
> We don't use fonts for the icons, so I don't think I understand the
> question.
>
> I think messages are crossing in-flight. The recent suggestion in the thread
> was that the right-triangle-bullet
> the OP wants to improve in Customize could be implemented nicely with such an
> font.
>
> From: Yuri Khan
>
> I wonder if it’s even worthwhile having a bitmap for this. These days, it
> could as well be any of ▶/▼,
> ▷/▽, ▸/▾, or ▹/▿. It would even work on some text terminals.
Bad idea, IMO.
- Re: High-res Customize icons, (continued)
- Re: High-res Customize icons, Richard Stallman, 2020/04/24
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/25
- Re: High-res Customize icons, Clément Pit-Claudel, 2020/04/25
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/25
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/22
- Re: High-res Customize icons, chad, 2020/04/22
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/22
- Re: High-res Customize icons, chad, 2020/04/22
- Re: High-res Customize icons,
Eli Zaretskii <=
- Re: High-res Customize icons, Yuan Fu, 2020/04/22
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/22
- Re: High-res Customize icons, Yuan Fu, 2020/04/22
Re: High-res Customize icons, ndame, 2020/04/23