From 84b6027e2f6fcee734ec68a28476236fda79cb31 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 24 May 2003 11:32:28 +0000 Subject: Revert to displaying empty buffer for sake of pr in Isar --- generic/pg-response.el | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/generic/pg-response.el b/generic/pg-response.el index 75fb8fdd..001c154e 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -144,11 +144,15 @@ 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) - (unless (or (string-equal str "") (string-equal str "\n")) + ;;(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))) + (pg-response-display-with-face str) + ;; NB: this displays an empty buffer sometimes when it's not + ;; so useful. It _is_ useful if the user has requested to + ;; see the proof state and there is none + ;; (Isabelle/Isar displays nothing: might be better if it did). + (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