diff options
| author | David Aspinall | 1999-03-08 14:29:48 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-03-08 14:29:48 +0000 |
| commit | b15f69a7365bf45c1b26ac0f987622a4bebc59e0 (patch) | |
| tree | 1594a13efac4204728cdfe3d958e15a45c2d341f /generic | |
| parent | f4e442370d8422f97bce41c542c93ad9c41d2fec (diff) | |
Idea for proof-auto-retract, notes about proof-strict-read-only
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 18 |
1 files changed, 17 insertions, 1 deletions
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) |