diff options
| -rw-r--r-- | generic/proof-useropts.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index e4b0b83a..648533f0 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -118,7 +118,7 @@ done if this `proof-strict-state-preserving' is turned off (nil)." :type 'boolean :group 'proof-user-options) -(defcustom proof-strict-read-only t +(defcustom proof-strict-read-only 'retract "*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, except for the special value 'retract which means |