[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59243: 28.2.50; Larger Fringe Bitmaps
|
From: |
Eli Zaretskii |
|
Subject: |
bug#59243: 28.2.50; Larger Fringe Bitmaps |
|
Date: |
Sun, 13 Nov 2022 20:17:32 +0200 |
> Cc: 59243@debbugs.gnu.org, Dmitry Gutov <dgutov@yandex.ru>
> From: Juri Linkov <juri@linkov.net>
> 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.