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

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Kangas <stefan <at> marxist.se>
Cc: laszlomail <at> protonmail.com, larsi <at> gnus.org, 46926 <at> debbugs.gnu.org,
 rms <at> gnu.org, dgutov <at> yandex.ru
Subject: Re: bug#46926: Remove the quotes from highlighted/linked symbols when
 displaying docs
Date: Tue, 16 Mar 2021 05:36:12 +0200

> From: Stefan Kangas <stefan <at> marxist.se>
> Date: Mon, 15 Mar 2021 21:37:00 -0500
> Cc: laszlomail <at> protonmail.com, 46926 <at> debbugs.gnu.org, larsi <at> gnus.org, 
> 	rms <at> gnu.org
> 
> Dmitry Gutov <dgutov <at> yandex.ru> writes:
> 
> > We add the option, announce it, and in 2-4 weeks ask people for their
> > opinion based on their experience with the changed UI.
> 
> Sounds good to me.
> 
> IOW, it would follow a similar procedure to the one we used for "M-o".

I hope not, because we are at an impasse there now.

Previous Next

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