--- a/Tools__CodeNavigationService.st	Fri Aug 30 10:46:54 2019 +0200
+++ b/Tools__CodeNavigationService.st	Fri Aug 30 10:46:58 2019 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 2010 by Jan Vrany, SWING Research Group. CTU in Prague
               All Rights Reserved
@@ -306,8 +308,9 @@
 
 buttonPress: button x:x y:y in: view
     "Handles an event in given view (a subview of codeView).
-     If the method returns true, the event will not be processed
-     by the view."
+     If the method returns true, it has eaten the event and it will not be processed
+     by the view or other services.
+     Notice, that this is called both for events in the gutter AND for events in the text."
 
     (view == textView) ifTrue:[
         textView isQuickMenuModifierPressed ifTrue:[