diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/generic/proof.el b/generic/proof.el index f56c1f1a..7625dae3 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -232,22 +232,22 @@ Restrict to BUFLIST if it's set." (setq bufs-got (cons buf bufs-got)))))) -(defun proof-message (str) - "Issue the message STR in the response buffer and display it." - (proof-response-buffer-display str) +(defun proof-message (&rest args) + "Issue the message ARGS in the response buffer and display it." + (proof-response-buffer-display (apply 'concat args)) (proof-display-and-keep-buffer proof-response-buffer)) -(defun proof-warning (str) - "Issue the warning STR in the response buffer and display it. +(defun proof-warning (&rest args) + "Issue the warning ARGS in the response buffer and display it. The warning is coloured with proof-warning-face." - (proof-response-buffer-display str 'proof-warning-face) + (proof-response-buffer-display (apply 'concat args) 'proof-warning-face) (proof-display-and-keep-buffer proof-response-buffer)) -(defmacro proof-debug (str) - "Issue the debugging message STR in the response buffer, display it. +(defmacro 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 ,str))) + `(proof-warning ,@args))) ;; Function for submitting bug reports. (defun proof-submit-bug-report () |