Re: High-res Customize icons

[Yuri Khan]

On Wed, 22 Apr 2020 at 19:24, Yuan Fu <address@hidden> wrote:

Thanks, actually I was referring to the triangle icon in the customize buffer:

You got it nice; it’s actually the right size, just jagged. For me on GTK+/GNU/Linux, it’s rendered at half size.

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.