diff options
author | 1999-11-09 18:55:54 +0000 | |
---|---|---|
committer | 1999-11-09 18:55:54 +0000 | |
commit | 0406469199a6f2a16b1cb213ecfe13f06f714aea (patch) | |
tree | 293a9261efebe28abbc4e4b7da1573ff0f55cf7c /generic/proof-script.el | |
parent | b00bded14999131150191874464aba92df976637 (diff) |
Generic support for x-symbol tuned up.
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 781a3b56..f2320327 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2022,9 +2022,13 @@ No action if BUF is nil." :style toggle :selected proof-active-terminator-minor-mode] ["Toolbar" proof-toolbar-toggle - :active (featurep 'toolbar) - :style toggle - :selected (not proof-toolbar-inhibit)] + :active (featurep 'toolbar) + :style toggle + :selected (not proof-toolbar-inhibit)] + ["X symbol" proof-x-symbol-toggle + :active (proof-x-symbol-support-maybe-available) + :style toggle + :selected proof-x-symbol-support-on] "----") ;; UGLY COMPATIBILITY FIXME: remove this soon (list (if (string-match "XEmacs 19.1[2-9]" emacs-version) |