diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:48:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:48:47 +0000 |
| commit | f0627f22629aa60c93cd18c906c0c61ac0cf25c9 (patch) | |
| tree | 0248fb3bb85de4be11a3897f63b68c233a9a0c71 /doc/PG-adapting.texi | |
| parent | 805a7968982aa0fb2bcf35045bcdb9e78cfd7af0 (diff) | |
Update magic
Diffstat (limited to 'doc/PG-adapting.texi')
| -rw-r--r-- | doc/PG-adapting.texi | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index bedfe2a0..bb2527e6 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -1892,7 +1892,14 @@ its friends configured in the function @code{proof-shell-start}. @defvar proof-shell-handle-error-or-interrupt-hook Run after an error or interrupt has been reported in the response buffer.@* Hook functions may inspect @samp{@code{proof-shell-error-or-interrupt-seen}} to -determine whether the cause was an error or interrupt. +determine whether the cause was an error or interrupt. Possible +values for this hook include: +@lisp + @code{proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window} + @code{proof-goto-end-of-locked-if-pos-not-visible-in-window} +@end lisp +which move the cursor in the scripting buffer on an error or +error/interrupt. @end defvar @c TEXI DOCSTRING MAGIC: proof-shell-pre-interrupt-hook |