diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-21 16:37:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-21 16:37:10 +0000 |
commit | 779466b0ead451de11b91da93e9bafb08a1088cc (patch) | |
tree | 976639c46907b9e905b23b39959a4e4943813d8c | |
parent | a4fe36f5e0c3ffc64797bed551176d6d30a04834 (diff) |
Default proof-allow-undo-in-read-only to t
-rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index fe31721e..b7790a59 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -195,10 +195,10 @@ you a reprimand!)." :set 'proof-set-value :group 'proof-user-options) -(defcustom proof-allow-undo-in-read-only nil +(defcustom proof-allow-undo-in-read-only t "*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 is cut at first edit +If non-nil, undo will allow altering of processed text. +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) |