Subject: Re: [External] : bug#14729: 24.3.50; Isearch oddity

From: Juri Linkov <[email-masked]>
Date: Mon, 06 Dec 2021 11:33:12 +0200

>> > Honestly, I have no idea what is right and what
>> > is wrong in this situation
>>
>> Me neither, but it's not quite optimal the way it is now.
>
> That exchange is telling.
>
> As I suggested, let users control the behavior
> (Isearch+ does that).  Don't look for a single
> behavior that's "right" for everyone in all
> contexts.

This means adding a new user option for this small detail?