diff options
| author | David Aspinall | 1999-11-23 18:23:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-23 18:23:16 +0000 |
| commit | 2b236514d5264c9bc5e09f0b5a9f334042b1f22b (patch) | |
| tree | f07c6f776b661e903d07e6bbfb728710cdda4aad | |
| parent | f27d115f261a43d5dcaf27ea92b11cd9f7ef97e2 (diff) | |
docstring improvement
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 88badbc8..18be9083 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -142,8 +142,9 @@ 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!). -If you change proof-strict-read-only during a session, you must use -\"Restart\" (proof-shell-restart) +If you change proof-strict-read-only during a session, you must +use the \"Restart\" button (or M-x proof-shell-restart) before +you can see the effect in buffers. The default value for proof-strict-read-only depends on which version of Emacs you are using. In FSF Emacs, strict read only is buggy |