On Apr 22, 2020, at 8:41 AM, Yuri Khan <yuri.v.khan@gmail.com> wrote: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:<Screen Shot 2020-04-22 at 8.19.00 AM.png>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.