Subject: bug#19889: tex-verbatim face: don't specify :family?

From: Glenn Morris <[email-masked]>
Date: Wed, 18 Feb 2015 21:21:07 -0500

Stefan Monnier wrote:

>> Firefox just uses "Monospace" font.
>
> When/where?

edit/prefs/content/advanced

>> Gnome-terminal has "use the system fixed-with font".
>
> How's that relevant for tex-verbatim or Info-quoted?

"Person who know nothing about fonts tries to provide potentially
relevant information from other applications where the fonts look better
than the one Emacs picked." :)