Re: [PATCH].infokey feature and signal handling are broken

[Eli Zaretskii]

On Mon, 2 Dec 2002, AIDA Shinra wrote:

> This patch fixes these problems. It always allows '^h' in incremental
> search. Some terminals map 'backspace' to '^h' by default.

This change:

> -      if (key == DEL)
> +      if (key == DEL || key == Control ('h'))
>          {
>            /* User wants to delete one level of search? */

sounds wrong to me.  Why should we force this binding on the users?  
Isn't it enough to let them rebind keys via .infokey?