From a8373ba55c11086e3d08758370a6c60af840ae55 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Jan 2006 13:33:12 +0000
Subject: Fix for coloured face specs on Aquaemacs

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 55ec2c00..628b689b 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -447,7 +447,7 @@ signals to the remote host."
 		     (list (list (list 'type ty) '(class color)
 				 (list 'background 'dark))
 			   (quote ,bd))))
-     '(x mswindows gtk)))
+     '(x mswindows gtk mac)))
     (list (list t (quote ,ow)))))
 
 (defface proof-queue-face 
-- 
cgit v1.2.3