diff options
Diffstat (limited to 'generic')
| -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 |