From 550dc95f4d907c99719add2933d7a4ca7b399cbe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 22 Sep 2006 20:03:36 +0000
Subject: Cut comint input ring, minor efficiency tweak.

---
 generic/proof-shell.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index bbb7af52..e368c8de 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -2032,6 +2032,10 @@ usual, unless NOERROR is non-nil."
   (add-hook 'comint-output-filter-functions 'proof-shell-filter nil 'local)
   (setq comint-get-old-input (function (lambda () "")))
 
+  ;; For a bit of memory saving in case of large inputs, don't keep history ring
+  (setq comint-input-ring-size 1)
+  (setq comint-input-ring (make-ring comint-input-ring-size))
+
   ;; FIXME: this is a work-around for a nasty GNU Emacs 21.2
   ;; bug which HANGS Emacs sometimes if special characters
   ;; are hidden.  (e.g. try M-x column-number-mode)
-- 
cgit v1.2.3