diff options
| -rw-r--r-- | generic/proof-toolbar.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index a0ea1921..af9e8694 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -104,7 +104,8 @@ back the default toolbar." (when (proof-toolbar-available-p) (unless proof-toolbar-map (setq proof-toolbar-map (make-sparse-keymap)) - (add-to-list 'image-load-path proof-images-directory) ; rude? + (if (boundp 'image-load-path) + (add-to-list 'image-load-path proof-images-directory)) ; rude? (mapc 'proof-toolbar-make-icon (proof-ass toolbar-entries)) (proof-toolbar-make-toolbar-items proof-toolbar-map (proof-ass toolbar-entries))) |