Subject: bug#16913: Please extend case-fold-search on-the-fly toggling

From: Lars Ingebrigtsen <[email-masked]>
Date: Wed, 11 May 2022 20:42:43 +0200

Juri Linkov <[email-masked]> writes:

> When sometimes necessary to toggle case sensitivity, I use 'C-u rgrep'
> and edit the command line by adding/removing "-i" before running grep.

Yes, Reuben mentioned that in the bug report as an unsatisfactory
interface, and I agree -- the prompt is over 1K long by default.  You
can't expect users to deal with that.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no