[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: |
Sat, 13 Mar 2021 09:29:00 +0200 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Fri, 12 Mar 2021 20:44:55 -0600
> Cc: 47074@debbugs.gnu.org
>
> @@ -2385,9 +2385,9 @@ 'checkbox
> ;; We could probably do the same job as the images using single
> ;; space characters in a boxed face with a stretch specification to
> ;; make them square.
> - :on-glyph "checked"
> + :on-glyph "ui/checkbox-checked"
> :off "[ ]"
> - :off-glyph "unchecked"
> + :off-glyph "ui/checkbox"
> :help-echo "Toggle this item."
> :action 'widget-checkbox-action)
How will this work in an Emacs session that doesn't support SVG? The
images/ui/ directory has only SVG images. Am I missing something?
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, (continued)
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/12
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Alan Third, 2021/03/12
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/12
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Alan Third, 2021/03/12
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/12
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/12
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets,
Eli Zaretskii <=
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Alan Third, 2021/03/13
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Alan Third, 2021/03/14