From e199402b15b78f76ab43f286c042e2db6a11c154 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 15:30:47 +0000
Subject: Fix for FSF: it should load proof-toolbar too.

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

diff --git a/generic/proof.el b/generic/proof.el
index de3c912a..ff5f540a 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -52,11 +52,16 @@
 (autoload 'proof-shell-mode "proof-shell"
   "Proof General shell mode class for proof assistant processes")
 
-(if (featurep 'toolbar)
+;; FIXME: toolbar defines scripting menu as well as toolbar,
+;; so FSF *does* need to load it.  Could consider separating
+;; menu code from proof-toolbar.
+
+;;(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 ()))
+;;;  (defun proof-toolbar-setup ()))
+
 
 ;;;
 ;;; More autoloads to help define interface between files
-- 
cgit v1.2.3