# HG changeset patch
# User sr
# Date 1537535458 -7200
# Node ID c37ebe075388aa6754e90501680a3496fc13b50a
# Parent  745c901cfac369773878ede7bb4e81abafb45b67
#BUGFIX by sr
class: Tools::CodeNavigationService
changed: #keyPress:x:y:in:

diff -r 745c901cfac3 -r c37ebe075388 Tools__CodeNavigationService.st
--- 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