diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-10-27 17:33:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-10-27 17:33:04 +0000 |
| commit | 1a902e231b83c00399242cd61838ba0c5f6770de (patch) | |
| tree | 745516481959f1384c5487a0e8a7f3e0d4f88cfd /generic/proof-splash.el | |
| parent | 40a7b597d4ac26214bd50bf1b0dc19391fd7f1ad (diff) | |
Rationalise testing for different values of window-system, to/and support more Emacs ports easily
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index df4c9cbb..fd4ca491 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -108,17 +108,20 @@ DEFAULT gives return value in case image not valid." (file-readable-p (aref inst 2))))) img) (cond - ((and window-system proof-running-on-XEmacs (featurep 'jpeg) (not nojpeg) + ((and proof-running-on-XEmacs (pg-window-system) + (featurep 'jpeg) (not nojpeg) (funcall validfn jpg)) jpg) - ((and window-system proof-running-on-XEmacs (featurep 'gif) (funcall validfn gif)) + ((and proof-running-on-XEmacs (pg-window-system) + (featurep 'gif) (funcall validfn gif)) gif) - ((and window-system proof-running-on-XEmacs (featurep 'xpm) (funcall validfn xpm)) + ((and proof-running-on-XEmacs (pg-window-system) + (featurep 'xpm) (funcall validfn xpm)) xpm) ;; Support GNU Emacs 21 ((and proof-running-on-Emacs21 - window-system + (pg-window-system) (setq img (find-image (list |