diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-10 15:21:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-10 15:21:14 +0000 |
| commit | de4992fe365d735c3f1513d04b377fefa123e548 (patch) | |
| tree | e4bd55401f31242208ed56f22dafd97923bffd26 | |
| parent | 101a389da5703fb2b3818a33613335e965c97db8 (diff) | |
Added URL for package to warning message. Prevent customize enabling if x-symbol uninstalled.
| -rw-r--r-- | generic/proof-x-symbol.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 130d91da..59fac3b9 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -76,7 +76,8 @@ If ERROR is non-nil, give error on failure, otherwise a warning." (require 'x-symbol) ;; NB: lose any errors! (t (featurep 'x-symbol))))) (funcall error-or-warn - "Proof General: x-symbol package must be installed for x-symbol-support!")) + "Proof General: x-symbol package must be installed for x-symbol-support! +The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol")) ((not (eq (console-type) 'x)) (funcall error-or-warn "Proof General: x-symbol package only runs under X!")) @@ -115,7 +116,10 @@ If ERROR is non-nil, give error on failure, otherwise a warning." (defun proof-x-symbol-enable () "Turn on or off support for x-symbol, initializing if necessary." (if (and proof-x-symbol-enable (not proof-x-symbol-initialized)) - (proof-x-symbol-initialize 'giveerrors)) + (progn + (setq proof-x-symbol-enable nil) ; assume failure! + (proof-x-symbol-initialize 'giveerrors) + (setq proof-x-symbol-enable t))) (proof-x-symbol-mode-all-buffers)) ;; A toggling function for the menu. |