[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46926: [External] : bug#46926: Remove the quotes from highlighted/li
From: |
scame |
Subject: |
bug#46926: [External] : bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs |
Date: |
Thu, 04 Mar 2021 18:40:13 +0000 |
>
> No. Please do not do this.
>
> 1. Users can turn off such highlighting. They still need
> to be able to easily see such things. The things need
> to stand out.
I meant it could be done with a face, so obviously a face
can be customized.
>
> 2. Users need to be able to search for such things, and
> one way to do that is to include the quotes, whether
> with a regexp or a plain-text pattern.
If we consider Help buffers they usually not that large
that you have to search for symbols in them.
Check out this Help window. It is more tidy and readable
without the unnecessary quotes:
https://i.imgur.com/xiHv8lr.png
- 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, 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: [External] : bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs,
scame <=
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