[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Introducing face in comments for various modes
From: |
Heime |
Subject: |
Re: Introducing face in comments for various modes |
Date: |
Tue, 13 Dec 2022 14:00:56 +0000 |
------- Original Message -------
On Tuesday, December 13th, 2022 at 12:37 PM, Jean Louis <bugs@gnu.support>
wrote:
> * Heime heimeborgia@protonmail.com [2022-12-13 12:47]:
>
> > > > > > (setq rcd-regexp-comment (rx line-start
> > > > > > (one-or-more (syntax comment-start))
> > > > > > (one-or-more space)
> > > > > > (group (one-or-more not-newline))
> > > > > > line-end))
>
> > How can one specify two comment characters next to each other?
>
>
> (rx (one-or-more (syntax comment-start)))) cares about it. Or you just want
> it after two comment chars?
>
> --
> Jean
Only after two comments characters actually.
- Re: Introducing face in comments for various modes, (continued)
- Re: Introducing face in comments for various modes, Heime, 2022/12/13
- Re: Introducing face in comments for various modes, Thibaut Verron, 2022/12/13
- Re: Introducing face in comments for various modes, Heime, 2022/12/13
- Re: Introducing face in comments for various modes, Thibaut Verron, 2022/12/13
- Re: Introducing face in comments for various modes, Christopher Dimech, 2022/12/13
- Re: Introducing face in comments for various modes, Heime, 2022/12/13
- Re: Introducing face in comments for various modes, Thibaut Verron, 2022/12/13
- Re: Introducing face in comments for various modes, Heime, 2022/12/13
- Re: Introducing face in comments for various modes, Heime, 2022/12/13
- Re: Introducing face in comments for various modes, Jean Louis, 2022/12/13
- Re: Introducing face in comments for various modes,
Heime <=
- Re: Introducing face in comments for various modes, Jean Louis, 2022/12/13
- Re: Introducing face in comments for various modes, Heime, 2022/12/13
- Re: Introducing face in comments for various modes, Jean Louis, 2022/12/13
- Re: Introducing face in comments for various modes, Christopher Dimech, 2022/12/13
- Re: Introducing face in comments for various modes, Jean Louis, 2022/12/13
- Re: Introducing face in comments for various modes, Stefan Monnier, 2022/12/12