Comment 6 for bug 250359

I don’t think that this is a duplicate of bug 31396, which is looking for a
GUI method of copying (and for Ctrl+C not to send an interrupt, which should
probably be in a separate report), whereas this report is looking for a
keyboard shortcut, and is probably (my guess!) far easier to implement.