diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-02-06 23:04:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-02-06 23:04:34 +0000 |
| commit | e9f0c029027fe3ddd286b6f533f67ff39e6c7e11 (patch) | |
| tree | 6968beed6b658ffed1f59eab89e77c947abeaf92 /generic/proof-maths-menu.el | |
| parent | 21a46017792ae839d862136abbbc1fbb0056a07a (diff) | |
Use proof-auxmodes to load auxiliary modes properly when required.
Diffstat (limited to 'generic/proof-maths-menu.el')
| -rw-r--r-- | generic/proof-maths-menu.el | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index 8364d711..07030623 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -28,17 +28,6 @@ ;;;###autoload -(defun proof-maths-menu-support-available () - "A test to see whether maths-menu support is available." - (and - (not (featurep 'xemacs)) ;; not XEmacs compatible - (or (featurep 'maths-menu) - ;; *should* always succeed unless bundled version broken - (proof-try-require 'maths-menu)) - ;; Load any optional prover-specific config in <foo>-maths-menu.el - (or (proof-try-require (proof-ass-sym maths-menu)) t))) - - (defun proof-maths-menu-set-global (flag) "Set global status of maths-menu mode for PG buffers to be FLAG. Turn on/off menu in all script buffers and ensure new buffers follow suit." @@ -63,13 +52,5 @@ in future if we have just activated it for this buffer." (if (proof-maths-menu-support-available) ;; will load maths-menu-mode (proof-maths-menu-set-global (not maths-menu-mode)))) -;; -;; On start up, adjust automode according to user setting -;; -(proof-eval-when-ready-for-assistant - (if (and (proof-ass maths-menu-enable) - (proof-maths-menu-support-available)) - (proof-maths-menu-set-global t))) - (provide 'proof-maths-menu) ;; End of proof-maths-menu.el |