diff options
| -rw-r--r-- | generic/proof-utils.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 90702cc3..67f5e462 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -590,6 +590,12 @@ 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)) +(defun pg-internal-warning (message) + "Display internal warning MESSAGE." + (if (fboundp 'display-warning) + (display-warning 'proof-general message) + (message message))) + ;; could be a macro for efficiency in compiled code (defun proof-debug (msg &rest args) "Issue the debugging message (format MSG ARGS) in the response buffer, display it. |