diff options
| author | Makarius Wenzel | 1999-09-30 13:37:32 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-30 13:37:32 +0000 |
| commit | 660718457f3e99150b281504f9bfdaaeff5fcc33 (patch) | |
| tree | 14cbb3d08dd3d187f64bd69678d892d058f1e033 /doc | |
| parent | 76afd603e8e4efd8dfc7a5888fa0f6d9ece1ea2c (diff) | |
make magic;
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index e0cb14b2..bab8913a 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1746,8 +1746,12 @@ The default value is @code{nil}. 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!) +you a reprimand!). +If you change @code{proof-strict-read-only} during a session, you must use +@lisp +"Restart" (@code{proof-shell-restart}) +@end lisp The default value for @code{proof-strict-read-only} depends on which version of Emacs you are using. In FSF Emacs, strict read only is buggy when it used in conjunction with font-lock, so it is disabled by default. |