GNU bug report logs - #19889
tex-verbatim face: don't specify :family?

Previous Next

Full log

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

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 19889 <at> debbugs.gnu.org
Subject: Re: bug#19889: tex-verbatim face: don't specify :family?
Date: Wed, 18 Feb 2015 20:55:00 -0500

> So presumably the problem is that it picks an x font rather than an xft one.
> See attached image for how it looks clunky in info.

Yes, that's the usual cause for blocky fonts.

> Firefox just uses "Monospace" font.

When/where?

> Gnome-terminal has "use the system fixed-with font".

How's that relevant for tex-verbatim or Info-quoted?

> IIUC, fc-match tells me that monspace == DejaVu Sans Mono.

For tex-verbatim, it shouldn't just be monospaced, but should look
somewhat like TeX's verbatim font (i.e. old typewriter style, i.e. courier).

For Info-quoted, it's not indispensable that it looks like courier, but
it should look different from the default font (by default).  IIUC the
default font nowadays is a monospaced sans-serif font, so I chose
a monospaced font with serif.

> I know little about fonts, but it seems suboptimal to me to try and
> specify a family for a handful of faces, since it's impossible to
> predict how it will look in conjunction with the user's other fonts.

I think we should define a `fixed-width-with-serif' face and inherit
from that, to make the intention clear.


        Stefan

Previous Next

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