From 723a9451336ed0de8d9a3eb290d16134d9ef703e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 08:41:45 +0000
Subject: Add `proof-minibuffer-messages'

---
 generic/proof-useropts.el | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index bb3c87cb..515bffcf 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -370,6 +370,14 @@ with full details."
   :type 'boolean
   :group 'proof-user-options)
 
+(defcustom proof-minibuffer-messages t
+  "*Non-nil causes Proof General to issue minibuffer messages.
+Minibuffer messages are issed when urgent messages are seen
+from the prover.  You can disable the display of these if they
+are distracting or too frequent."
+  :type 'boolean
+  :group 'proof-user-options)
+
 
 
 
-- 
cgit v1.2.3