Checked help file for gnome-terminal 3.28.2
Instruction exists so changing to "Fix Released"
** Changed in: gnome-terminal (Ubuntu)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.
** Changed in: gnome-terminal (Ubuntu)
Status: Triaged = Fix Committed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.
https://bugs.launchpad.net/bugs/505727
Title:
No mention of howto disable keyboard shortcuts in help
** Changed in: gnome-terminal
Status: New = Fix Released
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.
https://bugs.launchpad.net/bugs/505727
Title:
No mention of howto disable keyboard shortcuts in help
To manage
I don't know whether it is appropriate to add comments to an old thread,
but since it is still open ?I guess it is OK?
I encountered this when customizing keyboard shortcuts in gnome-
terminal. There was no obvious way to remove one once it is in place.
I remembered seeing something like this
** Changed in: gnome-terminal
Status: Unknown = New
** Changed in: gnome-terminal
Importance: Unknown = Medium
--
No mention of howto disable keyboard shortcuts in help
https://bugs.launchpad.net/bugs/505727
You received this bug notification because you are a member of Ubuntu
Desktop
** Tags added: patch-forwarded-upstream
--
No mention of howto disable keyboard shortcuts in help
https://bugs.launchpad.net/bugs/505727
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.
--
desktop-bugs mailing list
Thank you for your bug report. This bug has been reported to the developers of
the software. You can track it and make comments at:
https://bugzilla.gnome.org/show_bug.cgi?id=606951
** Bug watch added: GNOME Bug Tracker #606951
https://bugzilla.gnome.org/show_bug.cgi?id=606951
** Changed in:
I've attached a proposed patch to gnome-terminal.xml to update the help
on how to go about disabling a keyboard shortcut. This would just need
translations for the other available languages.
** Attachment added: gnome-terminal.xml.diff
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided = Low
--
No mention of howto disable keyboard shortcuts in help
https://bugs.launchpad.net/bugs/505727
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in