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-unicode-tokens.el | 27 ++------------------------- 1 file changed, 2 insertions(+), 25 deletions(-) (limited to 'generic/proof-unicode-tokens.el') diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 7dd73bc8..50cef1c2 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -12,19 +12,7 @@ (require 'cl)) (eval-when (compile) -; (if (not (featurep 'xemacs)) - (require 'unicode-tokens)) ; it's loaded dynamically at runtime - - -;;;###autoload -(defun proof-unicode-tokens-support-available () - "A test to see whether unicode tokens support is available." - (and - ;(not (featurep 'xemacs)) ;; not XEmacs compatible - (or (featurep 'unicode-tokens) - (proof-try-require 'unicode-tokens)) - ;; Requires prover-specific config in -unicode-tokens.el - (proof-try-require (proof-ass-sym unicode-tokens)))) + (require 'unicode-tokens)) ; it's loaded dynamically at runtime (defvar proof-unicode-tokens-initialised nil "Flag indicating whether or not we've performed startup.") @@ -51,6 +39,7 @@ (unicode-tokens-initialise) (setq proof-unicode-tokens-initialised t)) +;;;###autoload (defun proof-unicode-tokens-set-global (flag) "Set global status of unicode tokens mode for PG buffers to be FLAG. Turn on/off menu in all script buffers and ensure new buffers follow suit." @@ -145,17 +134,5 @@ A value for proof-shell-insert-hook." (setq string (buffer-substring-no-properties (point-min) (point-max)))))) - - - - -;; -;; On start up, adjust automode according to user setting -;; -(proof-eval-when-ready-for-assistant - (if (and (proof-ass unicode-tokens-enable) - (proof-unicode-tokens-support-available)) - (proof-unicode-tokens-set-global t))) - (provide 'proof-unicode-tokens) ;; End of proof-unicode-tokens.el -- cgit v1.2.3