diff options
| author | David Aspinall | 2008-07-05 14:13:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-07-05 14:13:54 +0000 |
| commit | 170973824f698d28c9891058dde929e1ce4bac11 (patch) | |
| tree | 118be0e01dd224a37eeaa9f093ae0b019ef619f6 | |
| parent | 41fc4493a96c8a66971d293b557ba9903bf9c053 (diff) | |
Add customization for use of image converter, default to disable.
| -rw-r--r-- | x-symbol/lisp/x-symbol-vars.el | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/x-symbol/lisp/x-symbol-vars.el b/x-symbol/lisp/x-symbol-vars.el index 929150ff..e46fc145 100644 --- a/x-symbol/lisp/x-symbol-vars.el +++ b/x-symbol/lisp/x-symbol-vars.el @@ -1964,8 +1964,14 @@ REGEXP matches, no prefix is used. See `x-symbol-image-convert-file'." :group 'x-symbol-image-general :type 'string) +(defcustom x-symbol-image-converter-required nil + "*Whether or not images are required. For Proof General, defaults to nil." + :group 'x-symbol-image-general + :type 'boolean) + (defcustom x-symbol-image-converter - (when (console-type) + (when (and (console-type) + x-symbol-image-converter-required) (save-excursion (set-buffer (get-buffer-create " *x-symbol-image command*")) (erase-buffer) @@ -1990,7 +1996,7 @@ REGEXP matches, no prefix is used. See `x-symbol-image-convert-file'." (goto-char (point-min)) (if (re-search-forward "ImageMagick" nil t) (if iformat (warn "x-symbol-image: \"convert\" doesn't list recognized formats, I'll try %S" iformat)) - (warn "x-symbol-image: no valid image converter") + (warn "x-symbol-image: no valid image converter (ImageMagick convert binary required for images)") (setq iformat nil)))) (kill-buffer (current-buffer)) (when iformat |