On Tue, Mar 28, 2000 at 11:22:13PM +0200, Bas Zoetekouw wrote: > 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.
Swap doesn't work because they *both* do the same thing. Pedro
