diff options
| author | David Aspinall | 2006-09-22 20:03:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-22 20:03:36 +0000 |
| commit | 550dc95f4d907c99719add2933d7a4ca7b399cbe (patch) | |
| tree | eca5386b0043e265dd9b77e9bfa154fbf4f99acf /generic/proof-shell.el | |
| parent | 48370c927946ebc0b1deccc2bec1dfb30249f8e2 (diff) | |
Cut comint input ring, minor efficiency tweak.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 4 insertions, 0 deletions
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) |