From ecb47478c9f9959ea25ce509076f6e3959d2c620 Mon Sep 17 00:00:00 2001
From: Cyril Anaclet
Date: Thu, 14 May 2020 15:29:58 +0200
Subject: All case for Show and regex variable

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

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index a0e80fa7..b6bf9225 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1615,9 +1615,12 @@ by the filter is to send the next command from the queue."
       (setq proof-shell-delayed-output-end end)
       (setq proof-shell-delayed-output-flags flags)
       (if (proof-shell-exec-loop)
-	  (setq proof-shell-last-output-kind
+	  ;; (if (and  (string-match proof-show-diffs-regexp (car cmd))
+	  ;; 		  (memq 'empty-action-list flags))
+	  ;; (setq proof-shell-last-output-kind 'response)
 		;; only display result for last output
-		(proof-shell-handle-delayed-output)))
+	  (setq proof-shell-last-output-kind (proof-shell-handle-delayed-output)))
+      ;; 
       ;; send output to the proof tree visualizer
       (if proof-tree-external-display
 	  (proof-tree-handle-delayed-output old-proof-marker cmd flags span)))))
-- 
cgit v1.2.3