From e16c30188305b430ae582c2a432482f62276169c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 24 Aug 2004 13:43:38 +0000 Subject: Simplify clear buffer calls --- generic/proof-shell.el | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c171c1ca..98a0636b 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1356,16 +1356,14 @@ MESSAGE should be a string annotated with ;; CASE clear response: prover asks PG to clear response buffer ((and proof-shell-clear-response-regexp - (string-match proof-shell-clear-response-regexp message) - proof-response-buffer) + (string-match proof-shell-clear-response-regexp message)) ;; Erase response buffer and possibly its windows. (proof-shell-maybe-erase-response nil t t)) ;; CASE clear goals: prover asks PG to clear goals buffer ((and proof-shell-clear-goals-regexp - (string-match proof-shell-clear-goals-regexp message) - proof-goals-buffer) - ;; Erase goals buffer but and possibly its windows + (string-match proof-shell-clear-goals-regexp message)) + ;; Erase goals buffer and possibly its windows (proof-clean-buffer proof-goals-buffer)) ;; CASE variable setting: prover asks PG to set some variable -- cgit v1.2.3