aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
diff options
context:
space:
mode:
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES5
1 files changed, 5 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 2148159d..6a1778ff 100644
--- a/CHANGES
+++ b/CHANGES
@@ -15,6 +15,11 @@
** Generic changes
+*** Follow mode: add "followdown" setting
+
+In this mode, the point moves with the locked region when it moves
+down in the buffer (processing). For undo, the point does not move.
+
*** Options and proof assistant settings improvements
Facility to reset to default values added, and saving