diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-06-13 13:59:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-06-13 13:59:01 +0000 |
| commit | e57f9b2bd34d8f23dbfba30a1da58a4b846ffbcd (patch) | |
| tree | e7c7f0ee9d2640606b0993d0b7675b5fa7be4402 /generic/proof-splash.el | |
| parent | 49d4e186e8c3a737f65f69f25a8eaef41e6542ee (diff) | |
Check display is really available: XEmacs now defines device-pixel-depth even on terminals.
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index f4f96670..6c326968 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -97,6 +97,7 @@ DEFAULT gives return value in case image not valid." name (or (and (fboundp 'device-pixel-depth) + (not (null (device-pixel-depth))) (> (device-pixel-depth) 8) ".gif") ;; Low colour gif for poor displays |