[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 19:02:10 +0200 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Sat, 13 Mar 2021 10:44:46 -0600
> Cc: alan@idiocy.org, 47074@debbugs.gnu.org
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > I don't think names matter in this case, as no one sees them except
> > the source code.
>
> If we only consider custom.el I agree completely. But I was personally
> hoping that these "improved" icons will see some use also outside of
> custom, including perhaps in third-party packages. It would be nice to
> have these better names for such use.
Are they really significantly better? I fail to see that.
> Would it be okay to just have two names/locations for these XPM files?
Do we have to?
> (I seem to remember that we can't use symlinks due to our support for
> Windows or something?
Symlinks in tarballs are trouble, not only on Windows.
I feel we are again bikeshedding here, sorry. It's an insignificant
issue from where I stand.
- 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, Stefan Kangas, 2021/03/12
- 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 <=
- 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
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Stefan Kangas, 2021/03/14
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/14
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Alan Third, 2021/03/14
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/14
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Alan Third, 2021/03/15
- bug#47074: Replace XPM icons with Unicode codepoints in customize/widgets, Eli Zaretskii, 2021/03/15