From f0627f22629aa60c93cd18c906c0c61ac0cf25c9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 5 Jun 2003 10:48:47 +0000 Subject: Update magic --- doc/PG-adapting.texi | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'doc') 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 -- cgit v1.2.3