diff options
Diffstat (limited to 'app-emacs/proofgeneral/files/proofgeneral-4.1-image-load-path.patch')
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.1-image-load-path.patch | 14 |
1 files changed, 0 insertions, 14 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 deleted file mode 100644 index 238c022de08c..000000000000 --- a/app-emacs/proofgeneral/files/proofgeneral-4.1-image-load-path.patch +++ /dev/null @@ -1,14 +0,0 @@ -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))) |