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.

1 files changed, 11 insertions, 1 deletions

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,10 +123,20 @@
      (: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				
      (:italic t)))