# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1578568769 -3600
# Node ID d6383fb3419475ffaf6e347240e38ed4c55e188f
# Parent  1ae921a9bff230400bc837d43520d9fab07934c1
#BUGFIX by cg
class: DeviceWorkstation
changed:
	#initializeModifierMappings
	#modifierKeyProcessing:down:

diff -r 1ae921a9bff2 -r d6383fb34194 DeviceWorkstation.st
--- 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].
                 ]
             ]
         ]