[Bug 31344] Re: F1 opens Gnome Terminal Help, which might not be what the user wants

2018-12-20 Thread Paul White
F1 keybinding now disabled as per related upstream bug #413145 Marking "Fix Released" to close ** Changed in: gnome-terminal (Ubuntu) Status: Triaged => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to the bug report. https

[Bug 31344] Re: F1 opens Gnome Terminal Help, which might not be what the user wants

2012-05-03 Thread Bug Watch Updater
** Changed in: gnome-terminal Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to the bug report. https://bugs.launchpad.net/bugs/31344 Title: F1 opens Gnome Terminal Help, which might not be what the user wan

[Bug 31344] Re: F1 opens Gnome Terminal Help, which might not be what the user wants

2011-05-09 Thread JoE
Geez this is annoying. There are so many terminal applications that use F1: vim, screen, htop, etc. It really seems like the simplest solution would be to change the default to Alt+F1. -- You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. ht

[Bug 31344] Re: F1 opens Gnome Terminal Help, which might not be what the user wants

2011-03-29 Thread Mathias Burén
I came here after a Google search, it's the top result. Please fix this. -- You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. https://bugs.launchpad.net/bugs/31344 Title: F1 opens Gnome Terminal Help, which might not be what the user want

[Bug 31344] Re: F1 opens Gnome Terminal Help, which might not be what the user wants

2010-09-16 Thread Bug Watch Updater
** Changed in: gnome-terminal Importance: Unknown => Medium -- F1 opens Gnome Terminal Help, which might not be what the user wants https://bugs.launchpad.net/bugs/31344 You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. -- ubuntu-bugs m

[Bug 31344] Re: F1 opens Gnome Terminal Help, which might not be what the user wants

2009-04-30 Thread Fou-Lu
** Summary changed: - F1 opens Gnome Terminal Help which is no always what you want + F1 opens Gnome Terminal Help, which might not be what the user wants -- F1 opens Gnome Terminal Help, which might not be what the user wants https://bugs.launchpad.net/bugs/31344 You received this bug notificat