From 215f027e6d76c2b686725fc2e86ce28e1ee09f7d Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 27 Oct 1998 15:57:14 +0000
Subject: Made handling of multiple files more robust. On changing script
 buffers, we invoke (save-some-buffers). Furthermore, we warn the user if
 modified buffers have been read in by the proof assistant.

---
 generic/proof-config.el | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'generic/proof-config.el')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 5a4f30a3..d3e1066c 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -123,9 +123,19 @@
      (:bold t)))
   "*Face for error messages from proof assistant.")
 
-(defface proof-eager-annotation-face
+(defface proof-warning-face
   '((((type x) (class color) (background light))   
      (:background "lemon chiffon"))
+    (((type x) (class color) (background dark))   
+     (:background "orange2"))
+    (t				
+     (:italic t)))
+  "*Face for warning messages.
+Could come either from proof assistant or Proof General itself.")
+
+(defface proof-eager-annotation-face
+  '((((type x) (class color) (background light))   
+     (:background "lightgoldenrod"))
     (((type x) (class color) (background dark))   
      (:background "darkgoldenrod"))
     (t				
-- 
cgit v1.2.3