diff options
| author | David Aspinall | 2000-05-16 12:11:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 12:11:37 +0000 |
| commit | 495e3c9601c45e6b5e99d7fde1d5c04367d10aae (patch) | |
| tree | 79764d42aebd4f09f5b42a9b472492aa1bf74ac8 | |
| parent | b8c5b497f04925dc2ce5f0a8b257debefe290ece (diff) | |
Fix buttons must be 3 long error
| -rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 8bd23456..2a53866c 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -208,8 +208,8 @@ (defvar proof-bug-report-menu (list "----" - ["About Proof General" proof-splash-display-screen] - ["Submit bug report" proof-submit-bug-report]) + ["About Proof General" proof-splash-display-screen t] + ["Submit bug report" proof-submit-bug-report t]) "Proof General menu for submitting bug report (one item plus separator).") (defvar proof-menu |