|
From: | Drew Adams |
Subject: | bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal |
Date: | Wed, 29 Sep 2021 17:34:44 +0000 |
> 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.
[Prev in Thread] | Current Thread | [Next in Thread] |