diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 15:48:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-25 15:48:02 +0000 |
commit | 9b5441aa6e3b1690afd98e84e55f2faaab4f1f0d (patch) | |
tree | c7d574f1e70144c5c0534d08b11334cb4de9a2e6 /generic/proof-menu.el | |
parent | f93bdeb21897a8ae6e47adbfba0f825c29abd312 (diff) |
Remove unicode tokens from menu, this is experimental.
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 39717c85..65368192 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -342,6 +342,7 @@ without adjusting window layout." ;; :selected (and (boundp 'x-symbol-mode) x-symbol-mode ;; x-symbol-use-unicode)] +;; Experimental: ;; ["Unicode Tokens" (proof-unicode-tokens-toggle ;; (if unicode-tokens-mode 0 1)) ;; :active (proof-unicode-tokens-support-available) |