equal
deleted
inserted
replaced
353 |
353 |
354 "Created: / 18-02-2008 / 17:18:22 / janfrog" |
354 "Created: / 18-02-2008 / 17:18:22 / janfrog" |
355 ! |
355 ! |
356 |
356 |
357 keyPress:key x:x y:y |
357 keyPress:key x:x y:y |
358 <resource: #keyboard (#Control_L |
358 <resource: #keyboard (#Control_L #Ctrl_L |
359 #Tab #Return #BackSpace #Delete |
359 #Tab #Return #BackSpace #Delete |
360 #GoBack)> |
360 #GoBack)> |
361 |
361 |
362 (x notNil and:[ y notNil ]) ifTrue:[ |
362 (x notNil and:[ y notNil ]) ifTrue:[ |
363 key = #'Control_L' ifTrue:[ |
363 (#(#Control_L #Control_R #Control #Ctrl_L #Ctrl_R #Ctrl ) includes:key) ifTrue:[ |
364 self highlightNodeAtX:x y:y; redraw |
364 self highlightNodeAtX:x y:y; redraw |
365 ]. |
365 ]. |
366 "key = #Alt_L ifTrue: [self highlightParseTreeNodeAtX: x y: y; redraw]" |
366 "key = #Alt_L ifTrue: [self highlightParseTreeNodeAtX: x y: y; redraw]" |
367 ]. |
367 ]. |
368 |
368 |