diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index eae1d190..1fde7aba 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -256,8 +256,13 @@ Does nothing if proof assistant is already running." " ")) ;; Experimental fix for backslash/long line problem. ;; Make start-process (called by make-comint) - ;; use a pipe, not a pty. + ;; use a pipe, not a pty. Seems to work. (process-connection-type nil)) + + ;; An improvement here might be to catch failure of + ;; make-comint and then kill off the buffer. Then we + ;; could add back code above for multiple shells <2> <3>, etc. + ;; Seems hardly worth it. (apply 'make-comint (append (list proc (car prog-name-list) nil) (cdr prog-name-list)))) |