Am Di., 15. Dez. 2020 um 12:56 Uhr schrieb Kornel Benko :
> OK, done at 6a37a67b.
>
Thanks!
Jürgen
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
Am Tue, 15 Dec 2020 11:17:07 +0100
schrieb Jürgen Spitzmüller :
> Am Di., 15. Dez. 2020 um 10:35 Uhr schrieb Kornel Benko :
>
> > Maybe I am too picky. For our use both versions give the same result.
> >
>
> I was serious. You seem to understand this better than I do, so I welcome
> any improvem
Am Di., 15. Dez. 2020 um 10:35 Uhr schrieb Kornel Benko :
> Maybe I am too picky. For our use both versions give the same result.
>
I was serious. You seem to understand this better than I do, so I welcome
any improvement!
Jürgen
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.ly
Am Tue, 15 Dec 2020 09:59:43 +0100
schrieb Jürgen Spitzmüller :
> Am Di., 15. Dez. 2020 um 09:57 Uhr schrieb Kornel Benko :
>
> > Am Tue, 15 Dec 2020 08:45:24 +0100 (CET)
> > schrieb Juergen Spitzmueller :
> >
> > > + colre = re.compile(r'^\\set_color\s+(.*)\s+(.*)"', re.IGNORECASE)
> > > +
Am Di., 15. Dez. 2020 um 09:57 Uhr schrieb Kornel Benko :
> Am Tue, 15 Dec 2020 08:45:24 +0100 (CET)
> schrieb Juergen Spitzmueller :
>
> > + colre = re.compile(r'^\\set_color\s+(.*)\s+(.*)"', re.IGNORECASE)
> > + if not m:
> > + return no_match
> > + line += " " + m.group(
Am Tue, 15 Dec 2020 08:45:24 +0100 (CET)
schrieb Juergen Spitzmueller :
> + colre = re.compile(r'^\\set_color\s+(.*)\s+(.*)"', re.IGNORECASE)
> + if not m:
> + return no_match
> + line += " " + m.group(2) + '"'
Are you sure?
Why not something like
colre = re.compil