more NEWS;
authorwenzelm
Wed, 16 Dec 2020 15:39:21 +0100
changeset 73172 f7954a960890
parent 73171 fa3fbbfc1f17
child 73173 fbc1d5ff3683
more NEWS;
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.