--- a/TerminalView.st	Sat Nov 16 16:53:30 2019 +0100
+++ b/TerminalView.st	Fri Nov 22 15:57:13 2019 +0100
@@ -961,7 +961,7 @@
         ^ self
     ].
 
-    (#(Control Control_L Control_R
+    (#(Control Control_L Control_R Ctrl Ctrl_L Ctrl_R
       Shift Shift_L Shift_R
       Alt Alt_L Alt_R
       Cmd Cmd_L Cmd_R