diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:44:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:44:43 +0000 |
commit | 81ed3f9df1865e952f963614caa8ea674e3a8de7 (patch) | |
tree | c1612da009e047d55cea7320d1c5db323b9eac7e | |
parent | a6066f76920be1d967ae11b8dcb18f932aa25af9 (diff) |
Clarify 'proof-allow-undo-in-read-only=nil' only works on GNU Emacs
-rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index feb3c53d..45d411a3 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -200,8 +200,8 @@ you a reprimand!)." (defcustom proof-allow-undo-in-read-only nil "*Whether Proof General allows text undo in the read-only region. If non-nil, undo will allow altering of processed text (default behaviour -before Proof General 3.7). If nil, undo history of processed text is -discarded." +before Proof General 3.7). If nil, undo history is cut at first edit +of processed text. NB: the history manipulation only works on GNU Emacs." :type 'boolean :group 'proof-user-options) |