diff options
| author | David Aspinall | 1999-11-13 13:46:55 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-13 13:46:55 +0000 |
| commit | 25fe2ff8892e33e7d5e6d2b8710e34b44a81d423 (patch) | |
| tree | c6ff78af4d45591c90321bbd9599b71823ad17de /generic/proof.el | |
| parent | dece7a9a9fbd9cb3a473628a75ddd1fa4c1fd05e (diff) | |
Added new face for debug messages
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof.el b/generic/proof.el index 82996cf8..dd18ce2a 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -400,11 +400,16 @@ The warning is coloured with proof-warning-face." (proof-response-buffer-display (apply 'concat args) 'proof-warning-face) (proof-display-and-keep-buffer proof-response-buffer)) -(defmacro proof-debug (&rest args) +;; could be a macro for efficiency in compiled code +(defun proof-debug (&rest args) "Issue the debugging messages ARGS in the response buffer, display it. If proof-show-debug-messages is nil, do nothing." (if proof-show-debug-messages - `(proof-warning ,@args))) + (progn + (proof-response-buffer-display (apply 'concat args) + 'proof-debug-message-face) + (proof-display-and-keep-buffer proof-response-buffer)))) + |