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?
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
