diff options
| author | David Aspinall | 2009-09-04 17:25:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 17:25:10 +0000 |
| commit | c7b40f33e0f02b902e129ace1c6ed83795a7dc85 (patch) | |
| tree | 6d7c10462eedfac70d362f413a370512ca4470cb /generic | |
| parent | ad77bc8aa58ada0da3389de52f3266fb287a9a02 (diff) | |
Define a cleanup function to run intermittently or by hand, avoiding pg-remove-specials.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index cc41b123..e2928866 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1470,11 +1470,6 @@ is only changed when input is sent in `proof-shell-insert'." (setq proof-shell-expecting-output nil) ;; Process output string. (proof-shell-filter-manage-output string) - ;; Cleanup shell buffer - (unless proof-general-debug - (pg-remove-specials (min (point-max) - prev-prompt) - (point-max))) ))) (if proof-shell-busy ;; internal error recovery: @@ -1483,6 +1478,11 @@ is only changed when input is sent in `proof-shell-insert'." "proof-shell-filter found empty action list yet proof shell busy.") (proof-release-lock)))))))) +(defun proof-shell-cleanup () + "Run intermittently to clean up the shell buffer." + (interactive) + (pg-remove-specials (point-min) (point-max))) + (defun proof-shell-process-urgent-messages () "Scan the shell buffer for urgent messages. Scanning starts from `proof-shell-urgent-message-scanner' or |