I wrote "Press Copy". Would it have been clearer if I had written "Press the Copy key"? It is customary to write "Press F1" instead of "Press the F1 key", or "Press Select" instead of "Press the Select key". You can bind these keys in Terminal, which is actually quite convenient (much less work to do than the default binding Ctrl+Shift+V). I would appreciate if Terminal handled this key independently of any customary binding; this not the case right now but it seems to be a minor issue.
-- The paste key does not paste https://bugs.launchpad.net/bugs/164903 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
