Le 10/03/2017 à 16:19, Kornel Benko a écrit :
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'?

Well spotted.

JMarc

Reply via email to