--- a/KeyboardProcessor.st	Fri Nov 22 15:45:33 2019 +0100
+++ b/KeyboardProcessor.st	Fri Nov 22 15:57:31 2019 +0100
@@ -113,7 +113,7 @@
 
     "/ ignore some meta keys
     (#( 
-        #'Control_L' #'Control_R' #'Control' #'Ctrl' 
+        #'Control_L' #'Control_R' #'Control' #'Ctrl' #'Ctrl_L' #'Ctrl_R' 
         #'CmdMenu' #'BackSpace' #Tab
         #'Cmd_L' #'Cmd_R' #'Cmd' #'Menu' 
         #'Shift_L' #'Shift_R' Shift