From 495e3c9601c45e6b5e99d7fde1d5c04367d10aae Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 May 2000 12:11:37 +0000
Subject: Fix buttons must be 3 long error

---
 generic/proof-menu.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

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  
-- 
cgit v1.2.3