From 49dd626db18b2a69648d8b25c0e1209baa848ee8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Sep 2009 12:03:17 +0000
Subject: Our own buffer for debug messages

---
 generic/proof-utils.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index a37bcf85..4eabdb64 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -558,7 +558,9 @@ No effect if buffer is dead."
 If proof-general-debug is nil, do nothing."
   (if proof-general-debug
       (let ((formatted (apply 'format msg args)))
-	(display-warning 'proof-general formatted 'info))))
+	(display-warning 'proof-general 
+			 formatted 'debug
+			 "*PG Debug*"))))
 
 ;; Utility used in the "Buffers" menu, and throughout
 (defun proof-switch-to-buffer (buf &optional noselect)
-- 
cgit v1.2.3