From 88f669cb7735bf8bb336a6e3ccb3a1018d77ce07 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 30 Jun 2002 18:57:07 +0000
Subject: Robustify form GNU Emacs

---
 generic/proof-splash.el | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index aeef2382..b02d014c 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -87,14 +87,18 @@ Gif filename depends on colour depth of display."
 		     (concat proof-images-directory name ".jpg")))
 	img)
   (cond
-   ((and window-system (featurep 'jpeg) (not nojpeg)
+   ((and window-system 
+	 proof-running-on-XEmacs
+	 (featurep 'jpeg) (not nojpeg)
 	 ;; Actually, jpeg can fail even if it is compiled in.
 	 ;; FIXME: this test doesn't work, though: still gives
 	 ;; t when visiting the file displays failure message.
 	 ;; What's the correct test?
 	 (valid-instantiator-p jpg 'image))
     jpg)
-   ((and window-system (featurep 'gif))
+   ((and window-system 
+	 proof-running-on-XEmacs
+	 (featurep 'gif))
     (vector 'gif :file
 	    (concat proof-images-directory 
 		    (concat name
@@ -189,7 +193,8 @@ Otherwise, timeout inside this function after 10 seconds or so."
       (while splash-contents
 	(setq s (car splash-contents))
 	(cond
-	 ((and (vectorp s)
+	 ((and proof-running-on-XEmacs
+	       (vectorp s)
 	       (valid-instantiator-p s 'image))
 	  (let ((gly (make-glyph s)))
 	    (indent-to (proof-splash-centre-spaces gly))
-- 
cgit v1.2.3