Subject: Re: bug#54804: 29.0.50; zap-to-char: case sensitive for upper-case letter

From: Stefan Monnier <[email-masked]>
Date: Tue, 17 May 2022 10:31:19 -0400

> If you only make the search case-sensitive in the 'interactive' form,
> that happens automagically.

I don't understand what you mean by that: the search doesn't take place
inside the interactive form, so he can't really control the
case-sensitivity from the interactive form, except (as he does) by using
the interactive form to pass extra info (in the form of the
`interactive` arg) to tell the search code that the call was made
interactively and should hence use the "fancier" form of
case sensitivity.

        Stefan