[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: High-res Customize icons
From: |
Werner LEMBERG |
Subject: |
Re: High-res Customize icons |
Date: |
Thu, 23 Apr 2020 06:11:01 +0200 (CEST) |
>> 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.
>
> I see no alternative to current icons because ASCII art characters
> have own problems explained by Eli in
> https://lists.gnu.org/archive/html/emacs-devel/2019-09/msg00268.html
>
> This is why the tab-bar moved from Unicode characters to images, but
> another attempt to use SVG failed as was demonstrated in
> https://lists.gnu.org/archive/html/emacs-devel/2019-09/msg00414.html
Why not creating a specialized outline font family with the needed
glyphs? Emacs could then always use it (and be distributed with these
fonts).
It should be straightforward to take a free font family, strip all
other glyphs, and modify the remaining symbols to make them fit.
Werner
- High-res Customize icons, Yuan Fu, 2020/04/21
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/21
- Re: High-res Customize icons, Clément Pit-Claudel, 2020/04/21
- Re: High-res Customize icons, chad, 2020/04/22
- Re: High-res Customize icons, Yuan Fu, 2020/04/22
- Re: High-res Customize icons, Yuri Khan, 2020/04/22
- Re: High-res Customize icons, Yuan Fu, 2020/04/22
- Re: High-res Customize icons, Juri Linkov, 2020/04/22
- Re: High-res Customize icons, Yuan Fu, 2020/04/22
- Re: High-res Customize icons,
Werner LEMBERG <=
- 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, Werner LEMBERG, 2020/04/23
- Re: High-res Customize icons, Eli Zaretskii, 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, Yuan Fu, 2020/04/23
- Re: High-res Customize icons, chad, 2020/04/23
- Re: High-res Customize icons, Eli Zaretskii, 2020/04/24
- Re: High-res Customize icons, Dmitry Gutov, 2020/04/24