GNU bug report logs - #57962
29.0.50; Odd font choices

Previous Next

Package: emacs;

Reported by: Lars Ingebrigtsen <larsi <at> gnus.org>

Date: Tue, 20 Sep 2022 22:17:01 UTC

Severity: normal

Found in version 29.0.50

Full log


Message #68 received at 57962 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: luangruo <at> yahoo.com, 57962 <at> debbugs.gnu.org, stefankangas <at> gmail.com
Subject: Re: bug#57962: 29.0.50; Odd font choices
Date: Mon, 17 Oct 2022 13:22:47 +0300
> From: Lars Ingebrigtsen <larsi <at> gnus.org>
> Cc: luangruo <at> yahoo.com,  57962 <at> debbugs.gnu.org, Stefan Kangas
>  <stefankangas <at> gmail.com>
> Date: Mon, 17 Oct 2022 11:57:12 +0200
> 
> So there is no way to say "I have font X, give me font Y of the same
> size".

Maybe with "fixed-*" fonts this is so.  But isn't True Type fonts
scalable, so that we can request any size and get what we request?

> So I think we just have to mitigate this on a practical level, and the
> practical problem we have is that we expect a (fixed pitch) `default' font
> to have the same size as the `help-key-binding' font, since we mix these
> faces so much in our displays, and we want them to line up in tabular
> outputs.
> 
> This means that we can either remove ":inherit fixed-pitch" from the
> latter face -- and that would fix the problem in 99.7% of the cases.
> But ideally, we'd like to have that face be fixed-pitch even if
> `default' uses a proportional font (which is possibly, but very very
> unusual).  To achieve that we'd have to implement something like
> 
>   :inherit (if (monospacep 'default) 'default 'fixed-pitch)
> 
> or something?

Is that because ":spacing 'm" doesn't work (it seems to work for me)?
If so, I think we should try fixing that instead of introducing new
wizardry.




This bug report was last modified 2 years and 242 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.