diff options
-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 |