diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 07:23:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 07:23:14 +0000 |
| commit | 70e06de9fd65980edb7b645a9641f7447de107cf (patch) | |
| tree | 855f09c44eef1add44866a5dfa1ecbff34997808 /isar | |
| parent | c8afb3739435273e674e2b2c84714ab73b8dcbb9 (diff) | |
proof-splash-display-image -> proof-get-image; generalise for xpm images.
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/isar/isar.el b/isar/isar.el index ee5ef811..4d08f5b3 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -9,11 +9,10 @@ ;; ;; Add Isabelle image onto splash screen -(customize-set-variable - 'proof-splash-extensions +(setq proof-splash-extensions '(list nil - (proof-splash-display-image "isabelle_transparent" t))) + (proof-get-image "isabelle_transparent" t))) (require 'proof) |