From 4a08cc1298e4598eb9060c6eb617c6a6ac76835c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 5 Jun 2003 09:11:55 +0000
Subject: Updated.

---
 CHANGES | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CHANGES b/CHANGES
index 2b4764a8..470a305d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -67,6 +67,13 @@ Instead the menu reflects the current minor mode status; toggling it
 will also update the default "global for PG" behaviour for new script
 buffers.
 
+*** Movement of cursor on interrupt is disabled
+
+By default, the cursor jumps to the end of the locked region on an
+error.  Previously it also jumped on an interrupt.  This is configurable
+via `proof-shell-handle-error-or-interrupt-hook', which see.
+
+
 *** Proof General -> Options menu changes
 
 **** Improvement to options handling
-- 
cgit v1.2.3