DeviceWorkstation.st
changeset 8856 fe501b1053b8
parent 8849 814b97e7dff5
child 8859 4f228c89da55
--- a/DeviceWorkstation.st	Fri Nov 01 05:49:05 2019 +0100
+++ b/DeviceWorkstation.st	Fri Nov 01 06:28:21 2019 +0100
@@ -6403,7 +6403,8 @@
     aKeyboardMap bindValue:#Cut           to:#Cmdx.     "cut selection into buffer"
     aKeyboardMap bindValue:#Paste         to:#Cmdv.     "paste buffer or external selection"
 
-    aKeyboardMap bindValue:#UserInterrupt to:#Ctrlc.    "interrupt window process"
+    aKeyboardMap bindValue:#UserInterrupt to:#'Ctrlc'.    "interrupt window process"
+    aKeyboardMap bindValue:#UserInterrupt to:#'Ctrl.'.    "interrupt window process"
 !
 
 initializeDefaultValues