[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: xterm and gnome-terminal have diferent defaults? [was: Bug#60753: mutt: /etc/Muttrc should not use colors]

Thus spake Pedro Guerreiro (digito@bigfoot.com):

> 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.


``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

Reply to: