From ceaec9b3e98da7978516f69abca33f65e10f3b03 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sat, 23 Jul 2016 15:58:47 +0200 Subject: Run "make magic" to update texi comments from elisp docstrings. --- doc/PG-adapting.texi | 3 +++ 1 file changed, 3 insertions(+) (limited to 'doc/PG-adapting.texi') diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 078fa93c..bd265a6a 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -1970,6 +1970,9 @@ This setting is used inside the function @samp{@code{proof-format-filename}}. @defvar proof-shell-process-connection-type The value of @samp{@code{process-connection-type}} for the proof shell.@* Set non-nil for ptys, nil for pipes. + +@var{note}: In emacs >= 24 (checked for 24 and 25.0.50.1), t is not a +good choice: input is cut after @var{4095} chars, which hangs pg. @end defvar @c TEXI DOCSTRING MAGIC: proof-shell-handle-error-or-interrupt-hook -- cgit v1.2.3