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

[Xavier Hienne]

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 that when I press the F1 key it
 > actually gets passed to whatever's running in the terminal?

You can disable the F1 key behaviour in Edit -> Keyboard Shortcuts

Regards,

Xavier