diff options
Diffstat (limited to 'generic/pg-response.el')
| -rw-r--r-- | generic/pg-response.el | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index c1220a53..65fe9343 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -36,12 +36,7 @@ (easy-menu-define proof-response-mode-menu proof-response-mode-map "Menu for Proof General response buffer." - (cons proof-general-name - (append - proof-toolbar-scripting-menu - proof-shared-menu - proof-config-menu - proof-bug-report-menu))) + proof-aux-menu) (defun proof-response-config-done () |