diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 12:18:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 12:18:02 +0000 |
commit | cca4a15de48e7580f81158a14b583b930c4494de (patch) | |
tree | fb70a0b78a88497acf3d912696584645f08d7f08 /generic/proof-menu.el | |
parent | 53477d2c9fdb877b3c237c4e26a46eda6c3fc36e (diff) |
Additions for maths menu
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 8 |
1 files changed, 8 insertions, 0 deletions
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 |