Thus spake Pedro Guerreiro ([EMAIL PROTECTED]):
> I know the problem is with gnome-terminal, so the question is how do I
> change the default binding of DEL in gnome-terminal? I've browse through
> /usr/share/doc/gnome-terminal, but that's a dead end :-(
Check out the preferences menu in gnome-terminal. There is an option
`Swap DEL/Backspace' there. No idea whether it works though.
--
cu,
dex.
-------------------------------------------------------------------------
``As far as the laws of mathematics refer to reality, they are not
certain, and as far as they are certain, they do not refer to reality.''
Albert Einstein
-------------------------------------------------------------------------
