diff options
| author | David Aspinall | 1998-11-09 16:09:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-09 16:09:42 +0000 |
| commit | 0545d64c702eaa0ede2a84953e158939c5033300 (patch) | |
| tree | 3fcf55aed11887409a0c9b116bab6e2b3121cbbb /generic/proof-config.el | |
| parent | 43750f921ad8c1c21c7ca3dcd96d624957cfdc0c (diff) | |
Added proof-strict-read-only, probably a handy new user-option.
Side effect is that it's default value of nil for FSF Emacs avoids the
font lock problem with span-read-only for FSF Emacs.
XEmacs does not have the warning message implemented yet.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 4ed17b58..b7860a3f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -96,6 +96,17 @@ for experienced Emacs users." :type 'boolean :group 'proof-general) +(defcustom proof-strict-read-only + ;; For FSF Emacs, strict read only is buggy when used in + ;; conjunction with font-lock. + (string-match "XEmacs" emacs-version) + "*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!)" + :type 'boolean + :group 'proof-general) + ;; ;; Faces. ;; We ought to test that these work sensibly: |