Re: Howto handle spaces in AdvSearch

2020-12-10 Thread Kornel Benko
Am Thu, 10 Dec 2020 13:28:39 + schrieb José Abílio Matos : > On Thursday, December 10, 2020 1:04:33 PM WET Jürgen Spitzmüller wrote: > > I don't think that's the right inference. People are busy. (Personally > > I like the change) > > > > Jürgen > > Or you can use the opposite point of view,

Re: Howto handle spaces in AdvSearch

2020-12-10 Thread José Abílio Matos
On Thursday, December 10, 2020 1:04:33 PM WET Jürgen Spitzmüller wrote: > I don't think that's the right inference. People are busy. (Personally > I like the change) > > Jürgen Or you can use the opposite point of view, that there is no one sufficiently opposed to the patch to post a message. :-

Re: Howto handle spaces in AdvSearch

2020-12-10 Thread Jürgen Spitzmüller
Am Donnerstag, dem 10.12.2020 um 11:43 +0100 schrieb Kornel Benko: > Apparently nobody cares :( I don't think that's the right inference. People are busy. (Personally I like the change) Jürgen signature.asc Description: This is a digitally signed message part -- lyx-devel mailing list lyx-dev

Re: Howto handle spaces in AdvSearch

2020-12-10 Thread Kornel Benko
Am Tue, 8 Dec 2020 17:07:51 +0100 schrieb Kornel Benko : > This is a try to allow specific searches for some of our different spaces > also in > regular expressions. > OTOH, as of now '\s' in regex is not yet implemented for spaces like > \thinspace etc. > (One would need to rewrite the regex to