From d382c2e35b28ca8ddc7aefba29b908002fe6d336 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 24 May 2003 11:11:26 +0000
Subject: Do not display empty responses

---
 generic/pg-response.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/generic/pg-response.el b/generic/pg-response.el
index 34e7ba08..75fb8fdd 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -144,8 +144,11 @@ Returns non-nil if response buffer was cleared."
   (unless pg-use-specials-for-fontify
     (setq str (pg-assoc-strip-subterm-markup str)))
   (proof-shell-maybe-erase-response t nil)
-  (pg-response-display-with-face str)
-  (proof-display-and-keep-buffer proof-response-buffer))
+  (unless (or (string-equal str "") (string-equal str "\n"))
+    ;; don't display an empty buffer [ NB: above test repeated below,
+    ;; but response-display reused elsewhere ]
+    (pg-response-display-with-face str)
+    (proof-display-and-keep-buffer proof-response-buffer)))
   
 ;; FIXME: this function should be combined with
 ;; proof-shell-maybe-erase-response-buffer. 
-- 
cgit v1.2.3