diff options
| author | David Aspinall | 2000-05-09 10:59:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-09 10:59:38 +0000 |
| commit | 6a2984687a5345c002cf0375505a99ebf9ffcd19 (patch) | |
| tree | 16560f26cbe89298efd1ecc535d43904efec41ce /generic/proof-menu.el | |
| parent | 35bc77bbc8733296c08623d963e4e8b199c16b1e (diff) | |
Fixup menus.
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index a2a390a9..28969717 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -74,8 +74,9 @@ proof-menu (list "----") (append - (customize-menu-create 'proof-general) - (customize-menu-create 'proof-general-internals "Internals")) + (list (customize-menu-create 'proof-general)) + (list (customize-menu-create 'proof-general-internals + "Internals"))) proof-bug-report-menu)))) @@ -90,7 +91,7 @@ (cons proof-assistant (append proof-assistant-menu-entries - proof-assistant-favourites + (proof-ass favourites) '("----") '(["Add favourite" (call-interactively 'proof-add-favourite) t]))))) |