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

Previous Next

Full log

View this message in rfc822 format

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

> Date: Sat, 13 Mar 2021 07:51:11 +0000
> From: scame <laszlomail <at> protonmail.com>
> Cc: "rms <at> gnu.org" <rms <at> gnu.org>, "46926 <at> debbugs.gnu.org" <46926 <at> debbugs.gnu.org>, "larsi <at> gnus.org" <larsi <at> gnus.org>, "stefan <at> marxist.se" <stefan <at> marxist.se>
> 
> > 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.

That sounds like "my way or the highway" to me.  Not very
constructive, I'm afraid.

Does anyone else here think the compromise I proposed could have some
merit?

Previous Next

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