#UI_ENHANCEMENT by exept
authorClaus Gittinger <cg@exept.de>
Mon, 14 Oct 2019 10:48:32 +0200
changeset 3782 f26ed65a4360
parent 3781 0040ac44a2f3
child 3783 e935b92253c9
#UI_ENHANCEMENT by exept class: UIPainter changed: #processEvent:
UIPainter.st
--- a/UIPainter.st	Mon Oct 14 10:31:43 2019 +0200
+++ b/UIPainter.st	Mon Oct 14 10:48:32 2019 +0200
@@ -4044,31 +4044,32 @@
 
     <resource: #keyboard (#CtrlCursorUp #CtrlCursorDown #CtrlCursorLeft #CtrlCursorRight)>
 
-    |key|
+    |key rawKey|
 
     anEvent isKeyPressEvent ifTrue:[ 
         anEvent targetView == treeView ifFalse:[^ false].
         treeView hasFocus ifFalse:[^ false].
 
         key := anEvent key.
+        rawKey := anEvent rawKey.
 
 "/        (anEvent rawKey == #Cmdr) ifTrue:[
 "/            self openNameEditorOnTreeSelection.
 "/            ^ true.
 "/        ].
-        (anEvent rawKey == #CtrlCursorUp) ifTrue:[ 
+        ((rawKey == #CtrlCursorUp) or:[ rawKey == #AltCursorUp ]) ifTrue:[ 
             self doStepUp.
             ^ true.
         ].
-        (anEvent rawKey == #CtrlCursorDown) ifTrue:[ 
+        ((rawKey == #CtrlCursorDown) or:[ rawKey == #AltCursorDown ]) ifTrue:[ 
             self doStepDown.
             ^ true.
         ].
-        (anEvent rawKey == #CtrlCursorLeft) ifTrue:[ 
+        ((rawKey == #CtrlCursorLeft) or:[ rawKey == #AltCursorLeft ]) ifTrue:[ 
             self doStepOut.
             ^ true.
         ].
-        (anEvent rawKey == #CtrlCursorRight) ifTrue:[ 
+        ((rawKey == #CtrlCursorRight) or:[ rawKey == #AltCursorRight ]) ifTrue:[ 
             self doStepIn.
             ^ true.
         ].