From abf5735da952eb2c1319362a3dc81189b8d18f50 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:19:38 +0000
Subject: Dont use customize-set-variable for add splash logo

---
 isa/isa.el | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 334f91a4..ecf24ab9 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -2,7 +2,7 @@
 ;; Copyright (C) 1993-2000 LFCS Edinburgh, David Aspinall.
 ;;
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;; Contact:     isa@proofgeneral.org
 ;;
 ;; $Id$
 ;;
@@ -17,11 +17,11 @@
 
 ;; Add Isabelle image onto splash screen
 ;;
-(customize-set-variable
- 'proof-splash-extensions
- '(list
-   nil
-   (proof-splash-display-image "isabelle_transparent" t)))
+;; (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)))
 
 ;; 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