[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46926: [External] : bug#46926: Remove the quotes from highlighted/li
From: |
Drew Adams |
Subject: |
bug#46926: [External] : bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs |
Date: |
Thu, 4 Mar 2021 19:08:14 +0000 |
> > If we have a face Info-quoted then there is no need for the quotes, because
> > the quotes are only text markups which are translated to a face, so the
> > quoted
> > part is highlighted for the user, there is no point in leaving the markup
> > there.
>
> I don't think I agree, but maybe someone else will have an opinion?
I provided an opinion.
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, scame, 2021/03/04
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Eli Zaretskii, 2021/03/04
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, scame, 2021/03/04
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Eli Zaretskii, 2021/03/04
- bug#46926: [External] : bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs,
Drew Adams <=
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Lars Ingebrigtsen, 2021/03/04
- bug#46926: [External] : bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Drew Adams, 2021/03/04
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Stefan Kangas, 2021/03/11
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Richard Stallman, 2021/03/13
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, scame, 2021/03/13
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Stefan Kangas, 2021/03/13
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, scame, 2021/03/13
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Eli Zaretskii, 2021/03/13
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, scame, 2021/03/13
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Eli Zaretskii, 2021/03/13