GNU bug report logs - #46926
Remove the quotes from highlighted/linked symbols when displaying docs

Previous Next

Full log

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

From: scame <laszlomail <at> protonmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: "stefan <at> marxist.se" <stefan <at> marxist.se>, "larsi <at> gnus.org" <larsi <at> gnus.org>,
 "46926 <at> debbugs.gnu.org" <46926 <at> debbugs.gnu.org>, "rms <at> gnu.org" <rms <at> gnu.org>
Subject: Re: bug#46926: Remove the quotes from highlighted/linked symbols when
 displaying docs
Date: Sat, 13 Mar 2021 07:51:11 +0000

>
> Since the quotes are present in the original doc strings (and will
> stay there, for sure), the implementation of your proposal would be to
> remove them when we generate the "buttons" (a.k.a. "links") for them
> in the Help buffer. So, if people feel that removing the quotes could
> be desired by some users, how about making it optional, by default
> off?

The aim of this bug to make the default epxerience cleaner.

In the first place it is not developers who should decide these things,
but visual designers. E.g. I guess Gnome has some visual designers who
create the Gnome look. They can be asked, but I'm pretty sure they
will say the cleaner look is better for users.

Previous Next

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