diff options
| author | David Aspinall | 2003-03-14 10:03:44 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-14 10:03:44 +0000 |
| commit | 348560f7a1482918c46ad23f3271473faaca9a71 (patch) | |
| tree | 34fd0d4d8cf39e40d28c754c0779c47f5ee72785 | |
| parent | ad697f063a666249694241001626a1bcecace55d (diff) | |
Add requires to reduce compilation warnings.
| -rw-r--r-- | generic/proof-menu.el | 52 |
1 files changed, 27 insertions, 25 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 18b4126e..972e0aba 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -7,6 +7,8 @@ ;; $Id$ ;; +(require 'proof) +(require 'proof-syntax) (require 'proof-toolbar) ; needed for proof-toolbar-scripting-menu ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -137,37 +139,37 @@ If in three window or multiple frame mode, display two buffers." (defun proof-menu-define-specific () (easy-menu-define proof-assistant-menu - proof-mode-map + proof-mode-map (concat "The menu for " proof-assistant) (cons proof-assistant - (append - (proof-ass menu-entries) - '("----") - (or proof-menu-favourites - (proof-menu-define-favourites-menu)) - (or proof-menu-settings - (proof-menu-define-settings-menu)) - '("----") - (list - (vector - (concat "Start " proof-assistant) - 'proof-shell-start - ':active '(not (proof-shell-live-buffer))) + (append + (proof-ass menu-entries) + '("----") + (or proof-menu-favourites + (proof-menu-define-favourites-menu)) + (or proof-menu-settings + (proof-menu-define-settings-menu)) + '("----") + (list + (vector + (concat "Start " proof-assistant) + 'proof-shell-start + ':active '(not (proof-shell-live-buffer))) (vector (concat "Exit " proof-assistant) 'proof-shell-exit ':active '(proof-shell-live-buffer))) - '("----") - (list - (cons "Help" - (append - `([,(concat proof-assistant " information") - '(proof-help) - ,menuvisiblep proof-info-command] - [,(concat proof-assistant " web page") - '(browse-url proof-assistant-home-page) - ,menuvisiblep proof-assistant-home-page]) - (proof-ass help-menu-entries)))))))) + '("----") + (list + (cons "Help" + (append + `([,(concat proof-assistant " information") + '(proof-help) + ,menuvisiblep proof-info-command] + [,(concat proof-assistant " web page") + '(browse-url proof-assistant-home-page) + ,menuvisiblep proof-assistant-home-page]) + (proof-ass help-menu-entries)))))))) (defun proof-assistant-menu-update () "Update proof assistant menu in scripting buffers." |