--- a/EditTextView.st	Mon Mar 24 19:01:06 2003 +0100
+++ b/EditTextView.st	Tue Mar 25 22:12:13 2003 +0100
@@ -4410,6 +4410,11 @@
     device shiftDown ifTrue:[
         ^ self getTextSelectionFromHistory
     ].
+    "/ that returns the (xterm-) selection
+    device ctrlDown ifTrue:[
+        ^ self getTextSelection:#selection
+    ].
+    "/ that returns the clipBoard
     ^ self getTextSelection
 !
 
@@ -5454,5 +5459,5 @@
 !EditTextView class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libwidg/EditTextView.st,v 1.296 2003-03-21 17:20:39 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg/EditTextView.st,v 1.297 2003-03-25 21:12:13 cg Exp $'
 ! !