diff options
| author | Makarius Wenzel | 2000-09-21 17:21:35 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-21 17:21:35 +0000 |
| commit | 8c1268b0693b23d5049a31ef850b190f8469d3e8 (patch) | |
| tree | 0c4f7b66aaeb88eedbefaa0417daa0795a61da1e | |
| parent | d6abc6c1edc639ce9ea54b316290b2f3f43a5a41 (diff) | |
tweak 'x-symbol-image-converter to avoid confusing warning;
| -rw-r--r-- | isa/interface-setup.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el index 9182b01e..2ed504cb 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -14,7 +14,7 @@ ;;; X-Symbol ;;; -(if (string-match "XEmacs" emacs-version) ;current X-Symbol works with XEmacs only +(if (string-match "XEmacs" emacs-version) ;current X-Symbol works with XEmacs only! (let ((xsymbol-home (getenv "XSYMBOL_HOME")) (xsymbol (getenv "PROOFGENERAL_XSYMBOL")) (enable-var @@ -32,6 +32,8 @@ (push (expand-file-name "etc/" xsymbol-home) data-directory-list)) (if (boundp 'Info-directory-list) (push (expand-file-name "info/" xsymbol-home) Info-directory-list)) + (if (not (boundp 'x-symbol-image-converter)) ;avoid confusing warning message + (customize-set-variable 'x-symbol-image-converter nil)) (x-symbol-initialize))) ;; tell Proof General about -x option (if (and xsymbol (not (equal xsymbol ""))) |