--- a/DeviceWorkstation.st	Tue Feb 11 11:48:31 2020 +0100
+++ b/DeviceWorkstation.st	Wed Feb 12 14:25:39 2020 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
 COPYRIGHT (c) 1993 by Claus Gittinger
 	      All Rights Reserved
@@ -7735,6 +7733,15 @@
 
     ^ rightCtrlDown ? false
 
+    "
+     10 timesRepeat:[
+        Transcript showCR:'right: %1' with:(Display rightCtrlDown).
+        Transcript showCR:'left: %1' with:(Display leftCtrlDown).
+        Transcript showCR:'ctrl: %1' with:(Display ctrlDown).
+        Delay waitForSeconds:1.
+     ].
+    "
+
     "Created: / 19-07-2019 / 09:00:39 / Claus Gittinger"
 !