hg/jv-vdb: changeset 150:2bd269c89e8c

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Wed, 13 Mar 2019 14:18:16 +0000
changeset 150	2bd269c89e8c
parent 149	adaffe052a41
child 153	063fd7d1d5be

Fix annoying flashing in simple console on Windows ...caused by different key names inder X11 and Windows. This fix adds few more to the list.

--- a/VDBSimpleConsoleView.st	Wed Mar 13 14:07:49 2019 +0000
+++ b/VDBSimpleConsoleView.st	Wed Mar 13 14:18:16 2019 +0000
@@ -215,10 +215,11 @@
         ^ self
     ].
 
-    (#(Shift_L Shift_R 
-      Control_L Control_R 
-      Alt_L Alt_R 
-      Caps_Lock 
+    (#(Shift Shift_L Shift_R 
+      Ctrl Control Control_L Control_R 
+      Cmd Alt Alt_L Alt_R 
+      Win_L Menu
+      Caps_Lock Escape
       PreviousPage NextPage
       Copy Paste Insert
     ) includes: key) ifTrue:[
@@ -230,6 +231,7 @@
 
     "Created: / 24-01-2019 / 22:02:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
     "Modified: / 26-01-2019 / 22:36:57 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 13-03-2019 / 14:11:13 / jv"
 !
 
 keyPressBackSpace