Subject: Re: bug#59243: 28.2.50; Larger Fringe Bitmaps

From: Eli Zaretskii <[email-masked]>
Date: Sun, 13 Nov 2022 20:17:32 +0200

> Cc: [email-masked], Dmitry Gutov <[email-masked]>
> From: Juri Linkov <[email-masked]>
> Date: Sun, 13 Nov 2022 19:49:48 +0200
> 
> Maybe a new customizable option could allow to select from different sets
> of bitmaps with such labels as "Large", "Medium", "Small".

That could be useful, I think.  Assuming that Someone(TM) will come up
with the 2 additional sets of bitmaps.