From 0406469199a6f2a16b1cb213ecfe13f06f714aea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 18:55:54 +0000
Subject: Generic support for x-symbol tuned up.

---
 generic/proof-script.el | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'generic/proof-script.el')

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)
-- 
cgit v1.2.3