#FEATURE by exept
authorClaus Gittinger <cg@exept.de>
Fri, 01 Nov 2019 06:28:21 +0100
changeset 8856 fe501b1053b8
parent 8855 e7263db023af
child 8857 fb8ba3ad5842
#FEATURE by exept class: DeviceWorkstation changed: #initializeDefaultKeyboardMappingsIn:
DeviceWorkstation.st
--- 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