[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 17:16:45 +0300 |
> From: Christopher Dimech <dimech@gmx.com>
> Cc: help-gnu-emacs@gnu.org
> Date: Sat, 22 Jul 2023 15:49:46 +0200
>
> > > > 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.
>
> What feature is useful ?
The fact that font-lock-delimiter-face is a separate face.
> Highlighting comment-delimiter with a different colour ?
> I agree with Emanuel, Why would one use another color than
> `font-lock-comment-face'
> for `comment-delimiter' ?
Like I said: faces are not just about colors. There are other
attributes, and users can decide to customize
font-lock-comment-delimiter-face to look differently even though it
uses the same colors.
- 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, 2023/07/22
- 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 <=
- 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