diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 15:47:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 15:47:53 +0000 |
| commit | f93bdeb21897a8ae6e47adbfba0f825c29abd312 (patch) | |
| tree | 26322d004961baec28ad74d1a8ac9d69b23d2229 | |
| parent | 470ea050b6cfa3b96f4eb5721d36d6f56e2588bb (diff) | |
Remove unicode tokens from menu, this is experimental.
| -rw-r--r-- | generic/proof-menu.el | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 9ce34c69..39717c85 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -342,12 +342,12 @@ without adjusting window layout." ;; :selected (and (boundp 'x-symbol-mode) x-symbol-mode ;; x-symbol-use-unicode)] - ["Unicode Tokens" (proof-unicode-tokens-toggle - (if unicode-tokens-mode 0 1)) - :active (proof-unicode-tokens-support-available) - :style toggle - :selected (and (boundp 'unicode-tokens-mode) - unicode-tokens-mode)] +;; ["Unicode Tokens" (proof-unicode-tokens-toggle +;; (if unicode-tokens-mode 0 1)) +;; :active (proof-unicode-tokens-support-available) +;; :style toggle +;; :selected (and (boundp 'unicode-tokens-mode) +;; unicode-tokens-mode)] ["Unicode Maths Menu" (proof-maths-menu-toggle (if maths-menu-mode 0 1)) :active (proof-maths-menu-support-available) |