GNU bug report logs - #60587
30.0.50; Info pages are lacking links from symbol names to the symbol's help documentation

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Drew Adams <drew.adams <at> oracle.com>
Cc: dieter <at> duenenhof-wilhelm.de, 60587 <at> debbugs.gnu.org, monnier <at> iro.umontreal.ca
Subject: bug#60587: Patch for adding links to symbols' help documentation
Date: Sat, 28 Jan 2023 10:11:18 +0200

> From: Drew Adams <drew.adams <at> oracle.com>
> CC: Eli Zaretskii <eliz <at> gnu.org>,
>         "60587 <at> debbugs.gnu.org"
> 	<60587 <at> debbugs.gnu.org>,
>         "monnier <at> iro.umontreal.ca"
> 	<monnier <at> iro.umontreal.ca>
> Date: Fri, 27 Jan 2023 23:13:36 +0000
> 
> > > 5. Face `info-color' should be named something like
> > > `info-symbol-help-link'.
> > 
> > You're right, `info-color' is too minimalist and not describing what the
> > object represents.
> > 
> > (I dropped it completely because I realised an additional face is
> > redundant since Info distinguishes (slightly) quoted symbols from the
> > text, anyway.)
> 
> I think it's _good_ to have a separate face for this.

I disagree that another face is a Good Thing.  We have too many of
them already.

> That gives users the choice:
> 
> * Have the same appearance for both kinds of link.
> * Have the two kinds of link (Info, *Help*) look
>   different.
> 
> When you provide two faces, users can always customize
> them to look the same, if they like.  Otherwise, they
> don't have that possibility.

The downside of having a separate face is the need to know about it
and customize it separately.  So an additional face is not just an
advantage, it is also a disadvantage.  Thus, we should introduce new
faces only if they really are for a different purpose.  This one
isn't.

Previous Next

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