|
| From: | Dmitry Gutov |
| Subject: | bug#58092: 29.0.50; [PATCH] Add log-edit-summary-separator face |
| Date: | Mon, 26 Sep 2022 16:28:56 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 |
Hi! On 26.09.2022 15:44, Protesilaos Stavrou wrote:
Dear maintainers, The attached patch replaces some hardcoded face properties in log-edit buffers with a named face. The named face allows users/themes to customise how this line is styled. What do you think?
LGTM, except perhaps call it headers-separator? It's used to separate all the headers, not just summary.
| [Prev in Thread] | Current Thread | [Next in Thread] |