--- a/DeviceWorkstation.st	Sun Jan 05 17:28:20 2020 +0100
+++ b/DeviceWorkstation.st	Thu Jan 09 12:19:29 2020 +0100
@@ -6652,7 +6652,7 @@
     shiftModifiers := ctrlModifiers := altModifiers := metaModifiers := nil.
 
     shiftModifiers := #(Shift_L Shift_R Shift).
-    ctrlModifiers := #(Control_L Control_R Control).
+    ctrlModifiers := #(Control_L Control_R Control Ctrl_L Ctrl_R Ctrl).
     metaModifiers := #(Meta_L Meta_R Meta).
     altModifiers := #(Alt_L Alt_R Alt).
 
@@ -7414,8 +7414,8 @@
             ] ifFalse:[
                 (ctrlModifiers notNil and:[ctrlModifiers includes:key]) ifTrue:[
                     ctrlDown := pressed.
-                    (key == #'Control_L') ifTrue:[leftCtrlDown := pressed].
-                    (key == #'Control_R') ifTrue:[rightCtrlDown := pressed].
+                    ((key == #'Control_L') or:[key == #'Ctrl_L']) ifTrue:[leftCtrlDown := pressed].
+                    ((key == #'Control_R') or:[key == #'Ctrl_R']) ifTrue:[rightCtrlDown := pressed].
                 ]
             ]
         ]