diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-06-30 18:57:07 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-30 18:57:07 +0000 |
commit | 88f669cb7735bf8bb336a6e3ccb3a1018d77ce07 (patch) | |
tree | 0589a0a6318d42e4919f9dfe86c8fe1bd9ad1560 /generic/proof-splash.el | |
parent | 99a0804d5ed6c4c8ac069cc45ac64c1a7f602021 (diff) |
Robustify form GNU Emacs
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 11 |
1 files changed, 8 insertions, 3 deletions
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)) |