[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47074: Replace XPM icons with Unicode codepoints in customize/widget
From: |
Eli Zaretskii |
Subject: |
bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets |
Date: |
Thu, 11 Mar 2021 19:38:03 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Thu, 11 Mar 2021 18:01:06 +0100
> Cc: 47074@debbugs.gnu.org
>
> > - ⬤ or ◉ or 🔘 radio button selected (the last one was added to Unicode
> > in 2015 and gives the hex square here)
> > - ◯ radio button unselected
>
> These look like this here:
With Symbola as the font (which is what we have by default), the
result is much worse than images.
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Lars Ingebrigtsen, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Lars Ingebrigtsen, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Lars Ingebrigtsen, 2021/03/11
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/11