diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-16 16:54:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-16 16:54:26 +0000 |
| commit | 2a2f1863ed67460c03f5cb9a0020c249e2d80d2c (patch) | |
| tree | a72d8c9b33569615955f19ac77b5a35444314a86 /lego | |
| parent | 5767f4497aaffa204a5f333ba80a09916d87e920 (diff) | |
Fix buttons must be 3 long error (for 20.4 compatibility)
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 6 |
1 files changed, 3 insertions, 3 deletions
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])) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |