diff options
| author | David Aspinall | 2009-09-14 07:33:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 07:33:04 +0000 |
| commit | f44ce412cdf7c14ab1f0e0092fc0bc1243346f7f (patch) | |
| tree | b0d2cc083998a755cdcd16914c38a97ce419a0f7 /generic/proof-useropts.el | |
| parent | 5471d3cffe8f7742e86cbbb50561b08efe2a2ebb (diff) | |
proof-strict-read-only: Experimental change to default
Diffstat (limited to 'generic/proof-useropts.el')
| -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 |