From e9f0c029027fe3ddd286b6f533f67ff39e6c7e11 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 6 Feb 2008 23:04:34 +0000 Subject: Use proof-auxmodes to load auxiliary modes properly when required. --- generic/proof-maths-menu.el | 19 ------------------- 1 file changed, 19 deletions(-) (limited to 'generic/proof-maths-menu.el') 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 -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 -- cgit v1.2.3