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://bugs.launchpad.net/bugs/31344

Title:
  F1 opens Gnome Terminal Help, which might not be what the user wants

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-terminal/+bug/31344/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to