diff options
Diffstat (limited to 'generic')
| -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) |