diff options
| author | David Aspinall | 1999-09-28 15:31:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-28 15:31:18 +0000 |
| commit | 272ffaba374008cdd53a24ca218c94fbe682887b (patch) | |
| tree | 856d46aefc30caeffe1b960e9c22f5f01caa8495 /generic/proof-shell.el | |
| parent | e199402b15b78f76ab43f286c042e2db6a11c154 (diff) | |
Reorganization of menus: made a single menu but flattened Scripting submenu.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 24ae9e5e..6e9f7f0a 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1514,7 +1514,7 @@ before and after sending the command." (easy-menu-define proof-shell-mode-menu proof-shell-mode-map "Menu used in Proof General shell mode." - (cons proof-general-name (cdr proof-shell-menu))) + (cons proof-general-name proof-shell-menu)) |