diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:01:04 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 00:01:04 +0000 |
commit | acf934287733846216e54c976d2b41a3bee85b2c (patch) | |
tree | 33d54e4ca486bb0579b36f54096725bf58afa1e7 /doc | |
parent | 5a0a065bd26b2338bb78afdc4e160bef7752f839 (diff) |
Disable undo in read-only region; add proof-allow-undo-in-read-only setting
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 5d923d54..77b58077 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2779,6 +2779,7 @@ For multiple frame mode, this function obeys the setting of @c Index entries for each option 'concept' @cindex User options @cindex Strict read-only +@cindex Undo in read-only region @cindex Query program name @cindex Dedicated windows @cindex Remote host @@ -2838,7 +2839,7 @@ If you activate this variable, whether or not you really get x-symbol support depends on whether your proof assistant supports it and whether X-Symbol is installed in your Emacs. -The default value is @code{t}. +The default value is @code{nil}. @end defopt @c TEXI DOCSTRING MAGIC: proof-output-fontify-enable @@ -2862,6 +2863,15 @@ you a reprimand!). The default value is @code{strict}. @end defopt +@c TEXI DOCSTRING MAGIC: proof-allow-undo-in-read-only +@defopt proof-allow-undo-in-read-only +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. + +The default value is @code{nil}. +@end defopt @c TEXI DOCSTRING MAGIC: proof-toolbar-use-button-enablers @defopt proof-toolbar-use-button-enablers If non-nil, toolbars buttons may be enabled/disabled automatically.@* |