--- a/Tools__CodeNavigationService.st	Wed Aug 08 10:28:11 2018 +0200
+++ b/Tools__CodeNavigationService.st	Thu Aug 09 10:34:23 2018 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 2010 by Jan Vrany, SWING Research Group. CTU in Prague
               All Rights Reserved
@@ -415,7 +417,7 @@
         "/ ("ctrlDown" "key == #'Control_L' or:[ key == #Ctrl ]") ifTrue:[
         (textView isQuickMenuModifierPressed) ifTrue:[
             "/ because it is delegated, the position is not correct
-            ev := WindowGroup lastEventQuerySignal query.
+            ev := WindowGroup lastEvent.
             p := view device translatePoint:(ev x @ ev y) fromView:ev view toView:view.
             sensor 
                 pushUserEvent:#highlightElementAtX:y: 
@@ -456,6 +458,7 @@
     "Created: / 06-03-2010 / 20:50:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
     "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"
 !
 
 keyRelease: key x:x y:y in: view