From 98829bd6731bf61a6ef92893c563ed4c68e0fd12 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Thu, 10 Sep 1998 15:10:49 +0000
Subject: fixed implementation of `proof-have-color'

---
 generic/proof-syntax.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 1d454523..651c3578 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -41,7 +41,10 @@
 ;; FIXME 2: use defface here
 
 (defun proof-have-color ()
- ())
+  "Do we have support for colour?"
+  (or (and (fboundp 'device-class)
+	   (eq (device-class (frame-device)) 'color))
+      (and (fboundp 'x-display-color-p) (x-display-color-p))))
 
 (defvar font-lock-declaration-name-face 
 (progn 
-- 
cgit v1.2.3