|
From: | Dmitry Gutov |
Subject: | bug#64799: [PATCH] Add 'project-prompt-key' face |
Date: | Thu, 27 Jul 2023 04:01:17 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
On 26/07/2023 14:10, Eli Zaretskii wrote:
Beware: the 'bold' face changes the metrics of the font glyphs (wrt the 'medium' variant), and at least with some fonts could cause a small 1- or 2-pixel vertical resize of the mini-window, which is generally distracting and even annoying.
Only non-monospaced font, though, right? Or ones without a 'bold' variant.Anyway, we're talking about switching from 'bold' to 'help-key-binding', which uses the default weight.
[Prev in Thread] | Current Thread | [Next in Thread] |