From aa55d4d7b5b85027f3a265f14e43aff19ff9c212 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Sat, 5 Jan 2008 00:50:56 +0000 Subject: [PATCH] Support gnome-terminal shortcuts for copy and paste --- terminator | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/terminator b/terminator index 3c7919cf..89685ce6 100755 --- a/terminator +++ b/terminator @@ -279,6 +279,12 @@ class TerminatorTerm: elif keyname == 'W': self.term.closeterm (self) return (True) + elif keyname == 'C': + self._vte.copy_clipboard () + return (True) + elif keyname == 'V': + self._vte.paste_clipboard () + return (True) if keyname and (keyname == 'Tab' or keyname.endswith('_Tab')): if event.state == gtk.gdk.CONTROL_MASK: