I'm looking for a terminal emulator that has the copy/paste function (preferably in the form of Ctrl+C/Ctrl+V.) At work, we can get the copy/paste function via the middle mouse button, but the mice ...