Re: [PATCH] (Or "question"...) isearch-kill-found

[Stefan Monnier]

>> >> Of course I also dislike it because it adds a state.  As for simply
>> >> providing a variable to change the behavior (without a 
>> >> key-binding to change it), that's another solution, indeed.
>> >> Maybe not a bad one.
>> > Why is not having a key to toggle the variable better?
>> Because keys are in very short supply.
> Not really, for a keymap such as isearch.

Huh?  Please suggest free key-bindings, then.  Since keys not bound in
isearch-mode-map lead to exiting isearch and running the corresponding
command in the global map, isearch-mode-map is basically just as full as
the global map.

>> > It is the variable that "adds a state", not the toggle key.
>> No: if the variable never changes, then it doesn't contribute to state.
> ;-)
> If a variable (in the usual programming sense, not in the math sense) never
> changes, then it's not very variable. Why have a variable in that case?

Because it can be customized.


        Stefan