diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-12-29 16:18:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-12-29 16:18:16 +0000 |
| commit | 60594f3eae52795f82fd668c7618d6f8b12978cd (patch) | |
| tree | d80077d26fdc5df3a267c8233ca068204d5162cd /CHANGES | |
| parent | 862a3182bd773a798028b8703562dba27fc81f7a (diff) | |
Add followdown
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |