diff options
| -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) |