diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-09 11:49:51 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-09 11:49:51 +0200 |
commit | be17a8f84cea29b8c9804af16b545ff9cfcf9dc6 (patch) | |
tree | 986bf782f15173e2dd3e5719e5de73611a135624 /generic | |
parent | aa381b59210eed6b622dc6c4ccd564ecaf919e92 (diff) |
Fixing 4096 character limit of scomint-send-input.
Extended the fix of #453 (trac tracker) for emacs 25 (>=24 instead of
= 24).
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 5 insertions, 2 deletions
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) |