GNU bug report logs - #18077
24.4.50; Info-quoted face should inherit default

Previous Next

Full log

View this message in rfc822 format

From: Sebastian Wiesner <swiesner <at> lunaryorn.com>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 18077 <at> debbugs.gnu.org
Subject: bug#18077: 24.4.50; Info-quoted face should inherit default
Date: Sat, 26 Jul 2014 00:55:47 +0200

Am 26.07.2014 um 00:37 schrieb Stefan Monnier <monnier <at> iro.umontreal.ca>:

>> Please remove the hard-coded font family and inherit from the default
>> face instead.
> 
> Inheriting from default would be equivalent to defining the attributes
> as just nil.
> 
> The whole purpose of this is to make quoted text appear different, so we
> don't want to use the default face.

A different style or color would not be sufficient?

> I agree that a specific family is kind of annoying and theoretically
> problematic, but it sounds too hypothetical to bother fixing (and to
> know how to fix).
> 
> Do you have a concrete situation at hand?
> Maybe we can address the problem with a a bit more fiddling of
> face-font-family-alternatives.

With respect, I mean no offense, but did you actually look at the screenshots that I attached to my previous mail?  Did you notice the different between “Courier” and “Source Code Pro” (which is my default face) in the Arch Linux screenshot? 

It’s not at all hypothetical.

Previous Next

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