diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 08:41:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 08:41:45 +0000 |
commit | 723a9451336ed0de8d9a3eb290d16134d9ef703e (patch) | |
tree | dbcfdacfec9b80f48bbb0326034ea5a12b79c13e /generic | |
parent | 2d2b26b9e179460050517ac3e7631404beb20719 (diff) |
Add `proof-minibuffer-messages'
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-useropts.el | 8 |
1 files changed, 8 insertions, 0 deletions
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) + |