[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: |
Fri, 12 Mar 2021 10:12:42 +0200 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Thu, 11 Mar 2021 19:38:12 -0600
> Cc: 47074@debbugs.gnu.org
>
> How would we go about implementing something like that? Do we need to
> scan the buffer for any images and re-insert them when we change the
> font size, or can we just add an image attribute or something?
AFAIR, the display property has a way of reacting to the value of a
symbol's variable cell automatically. Not sure the image display
property can, too, but it won't do any harm trying. Keep in mind that
changing the text scale requires redisplaying the buffer, so Emacs
will regenerate the images anyway.
- 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/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
- 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 <=
- 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, Alan Third, 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, 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, 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