GNU bug report logs - #28338
25.2; Default fonts for Info

Previous Next

Package: emacs;

Reported by: Drew Adams <drew.adams <at> oracle.com>

Date: Sun, 3 Sep 2017 15:24:02 UTC

Severity: wishlist

Tags: fixed

Found in version 25.2

Done: Lars Ingebrigtsen <larsi <at> gnus.org>

Bug is archived. No further changes may be made.

Full log


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

From: Drew Adams <drew.adams <at> oracle.com>
To: Eli Zaretskii <eliz <at> gnu.org>, Drew Adams <drew.adams <at> oracle.com>
Cc: 28338 <at> debbugs.gnu.org
Subject: RE: bug#28338: 25.2; Default fonts for Info
Date: Sun, 3 Sep 2017 11:16:10 -0700 (PDT)
> > My suggestion is _not_ to use exactly the same face as the
> > default face - I've made that quite clear.  My suggestion
> > is to not use a different font.  Using a different color
> > (whatever color) is a reasonable alternative.
> 
> I don't like this suggestion, for at least two reasons: Info is
> supposed to present a book-like appearance, 

Who said that Info is supposed to do that?

> thus no colors.

What makes you think that books do not use color,
including for some text?

You seem to be grasping for some (non-existent)
hardline style rule to just dismiss this suggestion.

> And some people actively dislike colors.

Names? ;-)  More seriously, some people also dislike
the fact that by default Emacs does not use color.
And of course Emacs sometimes does use color by default
(e.g. font-locked modes).

That argument seems pretty vacuous.  Some people
actively dislike lots of things.

And that was the same argument given against the
long-ago suggestion to fontify quoted Info names.
You've finally gone with, not against, that idea,
but using the wrong way to make the text stand out.

> In any case, the current situation is quite good, 

It was "quite good" before this change also.  That
doesn't mean much.

What makes you think that the change made was for
the better?

> so I see no reason to change it, especially not
> so close to the last change we made there.

Right, and when it is _less_ close you will argue that
it has been the way it is for a while and that "that
ship has sailed."  Been there - seen this movie before.
Catch 22.

Now is a good time to fix this, not a bad time.




This bug report was last modified 5 years and 187 days ago.

Previous Next


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