diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 6ea95171..09c32a7d 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2316,8 +2316,8 @@ values for this hook include: which move the cursor in the scripting buffer on an error or error/interrupt. -Remark: This hook is called from response buffer. If you want to do -something in scripting buffer, save excursion and switch buffer." +Remark: This hook is called from shell buffer. If you want to do +something in scripting buffer, `save-excursion' and/or `set-buffer'." :type '(repeat function) :group 'proof-shell) |