|
From: | Mauro Aranda |
Subject: | bug#64347: 30.0.50; Some customize faces shown as edited with -Q |
Date: | Thu, 20 Jul 2023 15:56:02 -0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
Eli Zaretskii <eliz@gnu.org> writes: >> Concerning the other bugs I discovered, I think that while the filters >> could be tweaked, a better fix would be to teach face-spec-match-p >> about matching plists correctly and not just by equality. > > Probably. > > Do we have anything left to do in this bug, or could it be closed? I think this can be closed.
[Prev in Thread] | Current Thread | [Next in Thread] |