changeset 19296 | 6ffe226271c1 |
parent 19295 | f4e49708a4de |
child 19370 | 4944c9c815ed |
--- a/Tools__CodeNavigationService.st Fri Nov 22 15:57:03 2019 +0100 +++ b/Tools__CodeNavigationService.st Fri Nov 22 16:48:22 2019 +0100 @@ -405,7 +405,7 @@ If the method returns true, it has eaten the event and it will not be processed by the view." - <resource: #keyboard ("#Control_L #Ctrl " + <resource: #keyboard (#Control_L #Ctrl #CursorRight #CursorDown #CursorLeft #CursorUp)> |ev p sensor|