[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Words with spaces highlighted in elisp-mode comments
From: |
Heime |
Subject: |
Re: Words with spaces highlighted in elisp-mode comments |
Date: |
Sat, 22 Jul 2023 14:22:21 +0000 |
------- Original Message -------
On Sunday, July 23rd, 2023 at 2:16 AM, Eli Zaretskii <eliz@gnu.org> wrote:
> > 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.
Interesting. Any knowledge of a good use excluding colouring purposes ?
- 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, 2023/07/22
- Re: Words with spaces highlighted in elisp-mode comments,
Heime <=
- 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