summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2012-07-14 21:14:04 +0000
committerUlrich Müller <ulm@gentoo.org>2012-07-14 21:14:04 +0000
commitaaea47784f73bf87c5db0bee86a8d195b0c75afe (patch)
treee4fa613ddd8a744b8408af1871a60fcf2863ff81 /app-emacs/proofgeneral/files
parentStable for x86, wrt bug #418321 (diff)
downloadgentoo-2-aaea47784f73bf87c5db0bee86a8d195b0c75afe.tar.gz
gentoo-2-aaea47784f73bf87c5db0bee86a8d195b0c75afe.tar.bz2
gentoo-2-aaea47784f73bf87c5db0bee86a8d195b0c75afe.zip
Don't rely on image-load-path always being defined, bug 426646.
(Portage version: 2.1.11.7/cvs/Linux x86_64)
Diffstat (limited to 'app-emacs/proofgeneral/files')
-rw-r--r--app-emacs/proofgeneral/files/proofgeneral-4.1-image-load-path.patch14
1 files changed, 14 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.1-image-load-path.patch b/app-emacs/proofgeneral/files/proofgeneral-4.1-image-load-path.patch
new file mode 100644
index 000000000000..238c022de08c
--- /dev/null
+++ b/app-emacs/proofgeneral/files/proofgeneral-4.1-image-load-path.patch
@@ -0,0 +1,14 @@
+https://bugs.gentoo.org/426646
+
+--- ProofGeneral-orig/generic/proof-toolbar.el
++++ ProofGeneral/generic/proof-toolbar.el
+@@ -103,7 +103,8 @@
+ (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)))