equal
deleted
inserted
replaced
419 p := view device translatePoint:(ev x @ ev y) fromView:ev view toView:view. |
419 p := view device translatePoint:(ev x @ ev y) fromView:ev view toView:view. |
420 sensor |
420 sensor |
421 pushUserEvent:#highlightElementAtX:y: |
421 pushUserEvent:#highlightElementAtX:y: |
422 for: self |
422 for: self |
423 withArguments:{p x. p y.}. |
423 withArguments:{p x. p y.}. |
424 ^ false "/ true. -- no, dont eat the key |
424 ^ false "/ true. -- no, don't eat the key |
425 ]. |
425 ]. |
426 |
426 |
427 "/ codeView reallyModified "textView modified" ifTrue:[ |
427 "/ codeView reallyModified "textView modified" ifTrue:[ |
428 "/ self highlightClear. |
428 "/ self highlightClear. |
429 "/ codeView syntaxElements: nil. |
429 "/ codeView syntaxElements: nil. |