bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal

[Stefan Kangas]

Drew Adams <drew.adams@oracle.com> writes:

>> Do we have some mechanism to deprecate a theme?  If it's just deleted,
>> will that lead to breakage if a user has selected the theme?
>
> Do we have some reason to deprecate this theme,
> beyond someone finding that a new face "looks
> out of place" when that theme is used?
>
> It's always good to see an actual reason.

FWIW, I would personally object to removing a theme on non-technical
grounds.

In any case, you objected, and AFAIU you are still the maintainer so in
that sense there is nothing to discuss here.  The theme is staying, at
least until our maintainers say otherwise (the same as for all things).

As for reasons to remove a theme, I wrote before:

    "We have more than one theme that is buggy, has low coverage and/or
    is not maintained, so maybe this is something we should think
    about."

I can't say if it is buggy or not, but I think it has low coverage, and
it is clearly maintained only sparingly.