--- a/Tools__CodeNavigationService.st Fri Sep 21 14:17:47 2018 +0200
+++ b/Tools__CodeNavigationService.st Fri Sep 21 15:10:58 2018 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
"
COPYRIGHT (c) 2010 by Jan Vrany, SWING Research Group. CTU in Prague
All Rights Reserved
@@ -417,8 +415,9 @@
"/ ("ctrlDown" "key == #'Control_L' or:[ key == #Ctrl ]") ifTrue:[
(textView isQuickMenuModifierPressed) ifTrue:[
"/ because it is delegated, the position is not correct
- ev := WindowGroup lastEvent.
- p := view device translatePoint:(ev x @ ev y) fromView:ev view toView:view.
+ p := view device translatePoint:(view device pointerPosition) fromView:nil toView:view.
+ "/ ev := WindowGroup lastEvent.
+ "/ p := view device translatePoint:(ev x @ ev y) fromView:ev view toView:view.
sensor
pushUserEvent:#highlightElementAtX:y:
for: self
@@ -459,6 +458,7 @@
"Modified: / 05-09-2011 / 05:17:30 / cg"
"Modified: / 18-09-2013 / 15:20:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 09-08-2018 / 10:32:11 / Claus Gittinger"
+ "Modified: / 21-09-2018 / 15:09:57 / sr"
!
keyRelease: key x:x y:y in: view