[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: pygment regex question,Re: pygment regex question
From: |
Werner LEMBERG |
Subject: |
Re: pygment regex question,Re: pygment regex question |
Date: |
Fri, 25 Nov 2022 16:54:41 +0000 (UTC) |
>> Note that at the time this regex is active, numbers are taken care
>> of.
>
> Floats are, integers not.
OK, but shouldn't this be rather
```
(-?\d+|\\longa|\\breve)\.*
```
then?
Werner
- pygment regex question, Werner LEMBERG, 2022/11/25
- Re: pygment regex question, Jean Abou Samra, 2022/11/25
- Re: pygment regex question,Re: pygment regex question,
Werner LEMBERG <=
- Re: pygment regex question,Re: pygment regex question, Luca Fascione, 2022/11/25
- Re: pygment regex question,Re: pygment regex question, Jean Abou Samra, 2022/11/25
- Re: pygment regex question,Re: pygment regex question, Benkő Pál, 2022/11/25
- Re: pygment regex question,Re: pygment regex question, Werner LEMBERG, 2022/11/26
Re: pygment regex question, Luca Fascione, 2022/11/25