[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47074: Replace XPM icons with Unicode codepoints in customize/widget
From: |
Lars Ingebrigtsen |
Subject: |
bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets |
Date: |
Fri, 12 Mar 2021 03:34:59 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Kangas <stefan@marxist.se> writes:
>> I think just altering the :scale image attribute would probably do the
>> trick... but we can't destructively modify the image objects, I guess,
>> so re-inserting them is probably necessary...
>
> So basically `text-scale-adjust' should search the buffer for any images
> and re-insert them with the new size?
Yes, I think so. I haven't actually tried this, but I think it should
be possible...
If the images are large, then this may be slow, but it shouldn't
generate a lot of garbage (since the image data itself in (in case of a
"data" image) should be shared, still. I think it's worth a try, at
least. If it turns out to be very slow, then we can start thinking
about mechanisms for marking specific (smaller) icons for rescaling,
while leaving the rest of the images alone.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- 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 <=
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
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