From b15f69a7365bf45c1b26ac0f987622a4bebc59e0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Mar 1999 14:29:48 +0000
Subject: Idea for proof-auto-retract, notes about proof-strict-read-only

---
 generic/proof-config.el | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index b46f3d08..ba09379c 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -110,7 +110,23 @@ use because of a bug."
   "*Whether Proof General is strict about the read-only region in buffers.
 If non-nil, an error is given when an attempt is made to edit the
 read-only region.  If nil, Proof General is more relaxed (but may give
-you a reprimand!)"
+you a reprimand!)
+
+The default value for proof-strict-read-only depends on which
+version of Emacs you are using.  In FSF Emacs, strict read only is buggy
+when it used in conjunction with font-lock, so it is disabled by default."
+  :type 'boolean
+  :group 'proof-general)
+
+(defcustom proof-auto-retract
+  nil
+  ;; Not implemented yet, only an idea.
+  "*If non-nil, retract automatically when locked region is edited.
+With this option active, the locked region will automatically be
+unlocked when the user attempts to edit it.   To make use of this
+option, proof-strict-read-only should be turned off.
+
+Note: this feature has not been implemented yet."
   :type 'boolean
   :group 'proof-general)
 
-- 
cgit v1.2.3