From 70e06de9fd65980edb7b645a9641f7447de107cf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 07:23:14 +0000
Subject: proof-splash-display-image -> proof-get-image; generalise for xpm
 images.

---
 isa/isa.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 98bb9d99..1bc116d6 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -15,12 +15,10 @@
 
 
 ;; Add Isabelle image onto splash screen
-;;
-;; (don't use customize-set-variable since it will be saved with options!)
 (setq proof-splash-extensions
       '(list
 	nil
-	(proof-splash-display-image "isabelle_transparent" t)))
+	(proof-get-image "isabelle_transparent" t)))
 
 ;; In case Isa mode was invoked directly or by -*- isa -*- at
 ;; the start of the file, ensure that Isa mode is used from now
-- 
cgit v1.2.3