[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: |
Fri, 12 Mar 2021 20:44:55 -0600 |
Alan Third <alan@idiocy.org> writes:
> On Thu, Mar 11, 2021 at 10:01:11PM +0200, Eli Zaretskii wrote:
>> >
>> > I think SVG is obviously much preferable to XPM, but there is still the
>> > problem that the images don't scale with the text. Do we have a general
>> > solution to that? If not, should we have one?
>>
>> With SVG, I believe we could. (We can scale other kinds of images as
>> well, but they don't look well when enlarged, AFAIK.)
>
> I've been thinking about this, and assuming we can extract the font
> name and size from the face in C then we can create a default CSS
> stylesheet that should make 1em in an SVG equivalent to the actual
> Emacs font height.
I took a stab at adding SVG icons, as found in the GNOME Adwaita Icon
Theme. I had to scrub some color details from the SVG files by hand,
but they now seem to automagically adapt to the :foreground and
:background of the current face (but I could be wrong about that as I
don't understand how this is supposed to work).
How would a patch like the attached relate to the changes you propose,
Alan?
0001-Add-SVG-icons-for-customize-buffers.patch
Description: Text Data
- 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, 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 <=
- 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, 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