Bug#308208: gnome-terminal: F1 not passed though

Hi, Mark Sheppard wrote : Package: gnome-terminal Version: 2.8.2-2 Severity: normal I just tried to get help in mutt by pressing the F1 key, but it didn't work. Instead I got a new window pop up with the gnome terminal manual. This is not a bug, this is a feature. > Please can you change this so t

Bug#308208: gnome-terminal: F1 not passed though

Package: gnome-terminal Version: 2.8.2-2 Severity: normal I just tried to get help in mutt by pressing the F1 key, but it didn't work. Instead I got a new window pop up with the gnome terminal manual. Please can you change this so that when I press the F1 key it actually gets passed to whatever'