[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Words with spaces highlighted in elisp-mode comments
From: |
Eli Zaretskii |
Subject: |
Re: Words with spaces highlighted in elisp-mode comments |
Date: |
Sat, 22 Jul 2023 15:02:49 +0300 |
> From: Emanuel Berg <incal@dataswamp.org>
> Date: Sat, 22 Jul 2023 08:00:30 +0200
>
> uzibalqa wrote:
>
> >> But comments are already font locked into
> >> `font-lock-comment-face' (there is also a`
> >> font-lock-comment-delimiter-face', IMO it is overkill to
> >> have that in another color than `font-lock-comment-face').
> >
> > I do not see the usefulness of coloring the comment
> > delimiter separately (because that affects all comments in
> > the same way, no distinguishing feature whatsoever ).
>
> Indeed, I think all comments should be of the same color,
> including the delimiters.
Font-lock is not just about colors, so this feature is still useful.
- Words with spaces highlighted in elisp-mode comments, uzibalqa, 2023/07/16
- Re: Words with spaces highlighted in elisp-mode comments, Emanuel Berg, 2023/07/17
- Re: Words with spaces highlighted in elisp-mode comments, uzibalqa, 2023/07/17
- RE: [External] : Re: Words with spaces highlighted in elisp-mode comments, Drew Adams, 2023/07/17
- Re: Words with spaces highlighted in elisp-mode comments, Emanuel Berg, 2023/07/19
- Re: Words with spaces highlighted in elisp-mode comments, uzibalqa, 2023/07/20
- Re: Words with spaces highlighted in elisp-mode comments, Emanuel Berg, 2023/07/22
- Re: Words with spaces highlighted in elisp-mode comments,
Eli Zaretskii <=
- Re: Words with spaces highlighted in elisp-mode comments, Christopher Dimech, 2023/07/22
- Re: Words with spaces highlighted in elisp-mode comments, Eli Zaretskii, 2023/07/22
- Re: Words with spaces highlighted in elisp-mode comments, Heime, 2023/07/22
- Re: Words with spaces highlighted in elisp-mode comments, Eli Zaretskii, 2023/07/22
- Re: Words with spaces highlighted in elisp-mode comments, Emanuel Berg, 2023/07/24
- Re: Words with spaces highlighted in elisp-mode comments, uzibalqa, 2023/07/22
- Re: Words with spaces highlighted in elisp-mode comments, Emanuel Berg, 2023/07/24