[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2018-12-19 Thread Paul White
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.

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2013-08-03 Thread Jeremy Bicha
** 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

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2013-03-12 Thread Bug Watch Updater
** 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

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2012-01-07 Thread Edwin Lee
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

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2010-09-16 Thread Bug Watch Updater
** 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

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2010-06-07 Thread David Futcher
** 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

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2010-01-14 Thread Pedro Villavicencio
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:

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2010-01-12 Thread justin
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

[Bug 505727] Re: No mention of howto disable keyboard shortcuts in help

2010-01-11 Thread Pedro Villavicencio
** 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