diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 19:38:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 19:38:05 +0000 |
commit | 17d6541cc976065da53cf4ff372c72fa59713114 (patch) | |
tree | a4a91af8c5f6686fc343e54d3b6e7dbad1cf6f59 | |
parent | 0f7e01e92a1718a37ac9eef32e6ee9c3618ef61c (diff) |
Avoid easy-menu-define macro
-rw-r--r-- | generic/proof-menu.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 23276241..8d14c72d 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -148,11 +148,11 @@ without adjusting window layout." ;;;###autoload (defun proof-menu-define-specific () - `(easy-menu-define - proof-assistant-menu - proof-mode-map - ,(concat "The menu for " proof-assistant) - ,(cons proof-assistant + (easy-menu-do-define + 'proof-assistant-menu + proof-mode-map + (concat "The menu for " proof-assistant) + (cons proof-assistant (append (proof-ass menu-entries) '("----") |