From 2a2f1863ed67460c03f5cb9a0020c249e2d80d2c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 16 May 2000 16:54:26 +0000 Subject: Fix buttons must be 3 long error (for 20.4 compatibility) --- lego/lego.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lego/lego.el') diff --git a/lego/lego.el b/lego/lego.el index 50a2fdec..02f2ada0 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -44,9 +44,9 @@ ["LEGO library (WWW)" (browse-url lego-library-www-page) t])) (proof-defass-default menu-entries - '(["intros" lego-intros] - ["Intros" lego-Intros] - ["Refine" lego-Refine])) + '(["intros" lego-intros t] + ["Intros" lego-Intros t] + ["Refine" lego-Refine t])) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3