From 4955e5dcaf439b425c33d7b445ab1050270c9ed9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 11:47:26 +0000
Subject: proof-allow-undo-in-read-only: change default to nil for new
 implementation

---
 generic/proof-useropts.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index 9c8c6933..a48c81ab 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -124,11 +124,10 @@ you a reprimand!)."
   :set   'proof-set-value
   :group 'proof-user-options)
 
-(defcustom proof-allow-undo-in-read-only t
+(defcustom proof-allow-undo-in-read-only nil
   "*Whether Proof General allows text undo in the read-only region.
 If non-nil, undo will allow altering of processed text.
-If nil, undo history is cut at first edit
-of processed text."
+If nil, undo is blocked if the next undo is in processed text."
   :type  'boolean
   :group 'proof-user-options)
 
-- 
cgit v1.2.3