diff options
| -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) |