From 545cb2c9cb826337c2d4b9995f5766eb72fb1584 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 12:44:46 +0000
Subject: Add pg-internal-warning

---
 generic/proof-utils.el | 6 ++++++
 1 file changed, 6 insertions(+)

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.
-- 
cgit v1.2.3