From 724ea98df1ff15725c5e275ecf65779d950f5ed6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 1999 17:03:46 +0000
Subject: Fix for toolbar disable for FSF Emacs.

---
 generic/proof.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 7f39dd39..de3c912a 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -52,8 +52,11 @@
 (autoload 'proof-shell-mode "proof-shell"
   "Proof General shell mode class for proof assistant processes")
 
-(autoload 'proof-toolbar-setup "proof-toolbar"
-  "Initialize Proof General toolbar and enable it for the current buffer" t)
+(if (featurep 'toolbar)
+    ;; toolbar code is only loaded for XEmacs
+    (autoload 'proof-toolbar-setup "proof-toolbar"
+      "Initialize Proof General toolbar and enable it for the current buffer" t)
+  (defun proof-toolbar-setup ()))
 
 ;;;
 ;;; More autoloads to help define interface between files
-- 
cgit v1.2.3