From 515026c1a268817075d37f748db303d05b0abb00 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 28 Dec 2016 13:04:26 +0100 Subject: fix prooftree crash with long evar lines --- generic/proof-tree.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'generic') diff --git a/generic/proof-tree.el b/generic/proof-tree.el index 03af645e..77d3cc33 100644 --- a/generic/proof-tree.el +++ b/generic/proof-tree.el @@ -556,7 +556,8 @@ Runs on process status changes and cleans up when prooftree dies." "Start the external prooftree process. Does also initialize the communication channel and some internal variables." - (let ((old-proof-tree (get-process proof-tree-process-name))) + (let ((process-connection-type nil) ; use pipes, see emacs bug #24531 + (old-proof-tree (get-process proof-tree-process-name))) ;; reset output marker (when proof-tree-output-marker (set-marker proof-tree-output-marker nil) -- cgit v1.2.3