diff options
| -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 |