Looking into System -> Keyboard Shortcuts I can see now a hint "To edit a shortcut key, click on the corresponding row and type a new key combination, or _press *backspace* to clear_."
However the hint didn't make it into shortcut dialog of gnome terminal and its documentation. It is however documented in # Desktop User Guide # Configuring Your Desktop # Personal. -- Cannot disable keyboard shortcuts https://bugs.launchpad.net/bugs/429674 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
