From 35dc71f241370d6d09d1efc132114b8ea3ff546b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 14:04:00 +0000
Subject: Removed transparent gif from splash screen because XEmacs can't
 display it nicely.

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index b31bd1d3..27da333a 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1094,7 +1094,9 @@ Proof General."
   '(list
     nil
     nil
-    (proof-splash-display-image "pg-text" t)
+;;; Remove the text for now: XEmacs makes a mess of displaying the
+;;; transparent parts of the gif (at least, on all machines I have seen)
+;;;    (proof-splash-display-image "pg-text" t)
     nil
     (proof-splash-display-image "ProofGeneral")
     nil
-- 
cgit v1.2.3