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 xxcxaxxvyyyHere probably 'v' == 'b'?
Well spotted. JMarc