[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47074: Replace XPM icons with Unicode codepoints in customize/widget
From: |
Stefan Kangas |
Subject: |
bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets |
Date: |
Thu, 11 Mar 2021 19:38:12 -0600 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Oh, I wasn't thinking about `C-x +' and friends. No, the images are not
> re-scaled by that command. (Of course, that's something we could decide
> to do, though.)
I think we should do precisely that. Perhaps one should be able to turn
it off, as it might not always make sense (e.g. in eww buffers?).
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?
- 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 <=
- 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, 2021/03/12
- 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