diff options
| author | David Aspinall | 1999-09-28 15:30:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-28 15:30:47 +0000 |
| commit | e199402b15b78f76ab43f286c042e2db6a11c154 (patch) | |
| tree | 72e0ce871fa61f4f8bb2e2df941d292665aee6a7 | |
| parent | dae4fc095488a023cfacecb089eb6ff7d004a7c5 (diff) | |
Fix for FSF: it should load proof-toolbar too.
| -rw-r--r-- | generic/proof.el | 9 |
1 files 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 |