diff options
| author | Pierre Courtieu | 2006-09-06 09:41:12 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-06 09:41:12 +0000 |
| commit | cef854b93888b79d08b0410cc0600b53c9790d28 (patch) | |
| tree | 19aee76b965498e9e8d5b160b2dc7caca6811622 /generic | |
| parent | 07088a47b162ebc8b46acb53d0fc3b4e0e9d1dc6 (diff) | |
Making error highlighting more robust (for both emacsen) and use a
span instead of region.
Diffstat (limited to 'generic')
| -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) |