Am Freitag, 10. März 2017 um 16:05:01, schrieb Jean-Marc Lasgouttes <lasgout...@lyx.org> > Le 10/03/2017 à 16:01, Jürgen Spitzmüller a écrit : > >> That is what I figured out. I seems to me that it could be done in > >> an > >> easier way, although I do not know which one yet :) > > > > Me neither. > > Something else is weird: if the filter is "abc", then it matches > xxxxabcyyyy > xxaxbyycyy > but bot > xxcxaxxvyyy
Here probably 'v' == 'b'?
> So the characters can be separate, but should be ordered correctly. What
> is the use case for that?
>
> JMarc
Kornel
signature.asc
Description: This is a digitally signed message part.
