From da094b7fea3e69e7d1cbcae8d75263e95127b7ad Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 3 Aug 2008 20:55:29 +0000 Subject: Fix type in calls to toggle functions --- generic/proof-menu.el | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'generic') diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 0a80beef..91f2646e 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -307,8 +307,7 @@ without adjusting window layout." ["Unicode Tokens" (proof-unicode-tokens-toggle (if (boundp 'unicode-tokens-mode) - (if unicode-tokens-mode 0 1) - t)) + (if unicode-tokens-mode 0 1) 1)) :active (proof-unicode-tokens-support-available) :style toggle :selected (and (boundp 'unicode-tokens-mode) @@ -317,8 +316,7 @@ without adjusting window layout." ["Unicode Maths Menu" (proof-maths-menu-toggle (if (boundp 'maths-menu-mode) - (if maths-menu-mode 0 1) - t)) + (if maths-menu-mode 0 1) 1)) :active (proof-maths-menu-support-available) :style toggle :selected (and (boundp 'maths-menu-mode) maths-menu-mode) -- cgit v1.2.3