[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46926: Remove the quotes from highlighted/linked symbols when displa
From: |
scame |
Subject: |
bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs |
Date: |
Thu, 04 Mar 2021 20:31:55 +0000 |
>
> We could discuss whether the face alone is enough in Info. My
> personal opinion is that it isn't enough: the face we use there
> doesn't guarantee any highlighting, because the user could customize
> the face to be anything but.
There can be an option to show quotes or not. If the user removes
the face's coloring, etc. then he can turn on displaying quotes.
Currently, the face has attributes by default, so the default experience
can benefit from the cleaner look without quotes.
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, (continued)
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Eli Zaretskii, 2021/03/15
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, Dmitry Gutov, 2021/03/16
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs, scame, 2021/03/16
- 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, Richard Stallman, 2021/03/14
- bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs,
scame <=
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, Richard Stallman, 2021/03/06
bug#46926: Remove quotes from the highlighted symbols list, Aleksandr Petrosyan, 2021/03/14