From e57f9b2bd34d8f23dbfba30a1da58a4b846ffbcd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 13 Jun 2003 13:59:01 +0000
Subject: Check display is really available: XEmacs now defines
 device-pixel-depth even on terminals.

---
 generic/proof-splash.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index f4f96670..6c326968 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -97,6 +97,7 @@ DEFAULT gives return value in case image not valid."
 			     name
 			     (or (and
 				  (fboundp 'device-pixel-depth)
+				  (not (null (device-pixel-depth)))
 				  (> (device-pixel-depth) 8)
 				  ".gif")
 				 ;; Low colour gif for poor displays
-- 
cgit v1.2.3