HI all,
in the above there is a sufficient amount of information and workarounds to
mark this bug as invalid. Gnome-terminal defaults are to assign these keys to
certain actions, and the user can modify this behavior in the menu "Edit ->
Keyboard shortcut..".
** Changed in: gnome-terminal (Ubuntu)
Status: New => Invalid
--
Cannot disable keyboard shortcuts
https://bugs.launchpad.net/bugs/429674
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
