diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index b9a516f6..18ca1db8 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -501,14 +501,14 @@ frame is the one showing the script buffer.)" (defun proof-message (&rest args) "Issue the message ARGS in the response buffer and display it." - (pg-response-display-with-face (apply 'concat args)) - (proof-display-and-keep-buffer proof-response-buffer)) + (pg-response-display-with-face (apply 'concat args)) + (proof-display-and-keep-buffer proof-response-buffer)) (defun proof-warning (&rest args) "Issue the warning ARGS in the response buffer and display it. The warning is coloured with proof-warning-face." - (pg-response-display-with-face (apply 'concat args) 'proof-warning-face) - (proof-display-and-keep-buffer proof-response-buffer)) + (pg-response-display-with-face (apply 'concat args) 'proof-warning-face) + (proof-display-and-keep-buffer proof-response-buffer)) ;; could be a macro for efficiency in compiled code (defun proof-debug (&rest args) |