On Wed, 22 Apr 2020 at 19:24, Yuan Fu <casouri@gmail.com> 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.