From be17a8f84cea29b8c9804af16b545ff9cfcf9dc6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 9 Oct 2015 11:49:51 +0200
Subject: Fixing 4096 character limit of scomint-send-input.

Extended the fix of #453 (trac tracker) for emacs 25 (>=24 instead of
= 24).
---
 generic/proof-config.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 033938c3..43ca9a86 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1534,9 +1534,12 @@ This setting is used inside the function `proof-format-filename'."
   :type '(list (cons string string))
   :group 'proof-shell)
 
-(defcustom proof-shell-process-connection-type (if (= emacs-major-version 24) nil t)
+(defcustom proof-shell-process-connection-type (if (>= emacs-major-version 24) nil t)
   "The value of `process-connection-type' for the proof shell.
-Set non-nil for ptys, nil for pipes."
+Set non-nil for ptys, nil for pipes.
+
+NOTE: In emacs >= 24 (checked for 24 and 25.0.50.1), t is not a
+good choice: input is cut after 4095 chars, which hangs pg."
   :type 'boolean
   :group 'proof-shell)
 
-- 
cgit v1.2.3