diff options
| author | David Aspinall | 1999-09-28 16:37:37 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-28 16:37:37 +0000 |
| commit | 0c745889b8359fdf01e0e5c604e7e01b37bb2a8e (patch) | |
| tree | 9d00cb981f9bca0d9d69fe54839ed069fb910e24 /generic/proof-shell.el | |
| parent | ec9f0bab90f293359d3fc44e835d20d37eded836 (diff) | |
More reorganizing of menus and keybindings with aim of usability in mind.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 6e9f7f0a..9f8d2458 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1608,8 +1608,7 @@ before and after sending the command." (easy-menu-define proof-response-mode-menu proof-response-mode-map "Menu for Proof General response buffer." - (cons proof-general-name - (cdr proof-shared-menu))) + (cons proof-general-name proof-shared-menu)) (provide 'proof-shell) |