From cca4a15de48e7580f81158a14b583b930c4494de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Dec 2007 12:18:02 +0000
Subject: Additions for maths menu

---
 generic/proof-menu.el | 8 ++++++++
 1 file changed, 8 insertions(+)

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 2333541f..9591b914 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -268,6 +268,7 @@ without adjusting window layout."
 
 (proof-deftoggle-fn 'proof-imenu-enable 'proof-imenu-toggle)
 (proof-deftoggle-fn (proof-ass-sym x-symbol-enable) 'proof-x-symbol-toggle)
+(proof-deftoggle-fn (proof-ass-sym maths-menu-enable) 'proof-maths-menu-toggle)
 (proof-deftoggle-fn (proof-ass-sym mmm-enable) 'proof-mmm-toggle)
 
 ;; TODO (low priority): add dynamic enable-disable
@@ -304,6 +305,12 @@ without adjusting window layout."
       :active (proof-x-symbol-support-maybe-available)
       :style toggle
       :selected (and (boundp 'x-symbol-mode) x-symbol-mode)]
+
+     ["Maths Menu" (proof-maths-menu-toggle (if maths-menu-mode 0 1))
+      :active (proof-maths-menu-support-available)
+      :style toggle
+      :selected (and (boundp 'maths-menu-mode) maths-menu-mode)]
+ 
      ["Multiple Modes" (proof-mmm-toggle (if mmm-mode 0 1))
       :active (proof-mmm-support-available)
       :style toggle
@@ -397,6 +404,7 @@ without adjusting window layout."
    ;;'proof-output-fontify-enable
    'proof-strict-read-only
    (proof-ass-sym x-symbol-enable)
+   (proof-ass-sym maths-menu-enable)
    (proof-ass-sym mmm-enable)
    'proof-toolbar-enable
    'proof-keep-response-history
-- 
cgit v1.2.3