diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-01-08 13:33:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-01-08 13:33:12 +0000 |
| commit | a8373ba55c11086e3d08758370a6c60af840ae55 (patch) | |
| tree | 9f1b049cd314c2bb7d62d7cb651afcb547498401 /generic/proof-config.el | |
| parent | 1d691953b355bdb4843c69c9ff0a336df235ba9e (diff) | |
Fix for coloured face specs on Aquaemacs
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |