diff -r fa3fbbfc1f17 -r f7954a960890 NEWS
--- a/NEWS	Wed Dec 16 15:36:46 2020 +0100
+++ b/NEWS	Wed Dec 16 15:39:21 2020 +0100
@@ -19,6 +19,11 @@
 * Action "isabelle.goto-entity" (shortcut CS+d) jumps to the definition
 of the formal entity at the caret position.
 
+* The visual feedback on caret entity focus is normally restricted to
+definitions within the visible text area. The keyboard modifier "CS"
+overrides this: then all defining and referencing positions are shown.
+See also option "jedit_focus_modifier".
+
 * Auto nitpick is enabled by default: it is now reasonably fast due to
 Kodkod invocation within Isabelle/Scala.