diff options
Diffstat (limited to 'generic')
| -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 |