--- a/Tools__CodeNavigationService.st	Fri Sep 21 15:10:58 2018 +0200
+++ b/Tools__CodeNavigationService.st	Fri Sep 21 15:11:24 2018 +0200
@@ -461,28 +461,6 @@
     "Modified: / 21-09-2018 / 15:09:57 / sr"
 !
 
-keyRelease: key x:x y:y in: view
-    "Handles an event in given view (a subview of codeView).
-     If the method returns true, it has eaten the event and it will not be processed
-     by the view."
-
-    |ev p|
-
-"/    (view == textView and:[textView isQuickMenuModifierReleased]) ifTrue:[
-"/        "/    (view == textView and:[key == #'Control_L' or:[key == #Ctrl]]) ifTrue:[
-"/        "/ because it is delegated, the position is not correct
-"/        ev := WindowGroup lastEventQuerySignal query.
-"/        p := view device translatePoint:(ev x @ ev y) fromView:ev view toView:view.
-"/ "/       self highlightClear. 
-"/ "/        view sensor pushUserEvent:#highlightClear for:self. 
-"/        ^ false "/ true -- do not eat the event
-"/    ].
-    ^ false
-
-    "Created: / 06-03-2010 / 21:03:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-    "Modified: / 21-08-2011 / 11:32:40 / cg"
-!
-
 linesDeletedFrom: start to: end
 
     self highlightClear