[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face'
From: |
Drew Adams |
Subject: |
bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal |
Date: |
Tue, 28 Sep 2021 22:13:12 +0000 |
> You said above that you won't miss it, didn't you? Maybe I
> misunderstood you.
Yes, I did. I won't miss it. I don't see the
point of removing it, however. And I don't see
that you've given a good reason for doing that.
> If that's not the case, there is nothing further to do here.
That's one way of looking at it, I guess.
- bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal, Stefan Kangas, 2021/09/28
- bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal, Drew Adams, 2021/09/29
- bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal, Stefan Kangas, 2021/09/29
- bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal, Drew Adams, 2021/09/29
- bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal, Stefan Kangas, 2021/09/29
- bug#47047: [External] : Re: bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal, Drew Adams, 2021/09/29