diff options
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 4532f57a..9759f66a 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -118,6 +118,7 @@ DEFAULT gives return value in case image not valid." ;; Support GNU Emacs 21 ((and proof-running-on-Emacs21 + window-system (setq img (find-image (list |