diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:55:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-08-03 20:55:29 +0000 |
| commit | da094b7fea3e69e7d1cbcae8d75263e95127b7ad (patch) | |
| tree | ccb529e2c475c69201760b1c1bc0756208b5c041 /generic/proof-menu.el | |
| parent | 3619a820b47d642cce27f7271c07324fb5a4a9ac (diff) | |
Fix type in calls to toggle functions
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 6 |
1 files changed, 2 insertions, 4 deletions
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) |