From 9d89b1dc46e9d8b4247b7c6ce35090b403bc1354 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jul 2008 12:33:08 +0000
Subject: Fix for deferred loading of maths menu.

---
 generic/proof-maths-menu.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el
index 43a69b22..a0764a98 100644
--- a/generic/proof-maths-menu.el
+++ b/generic/proof-maths-menu.el
@@ -48,7 +48,8 @@ buffer, and then sets PG's option for default to match.
 Also we arrange to have maths menu mode turn itself on automatically 
 in future if we have just activated it for this buffer."
   (interactive)
-  (if (proof-maths-menu-support-available) ;; will load maths-menu-mode
+  (require 'maths-menu)
+  (if (proof-maths-menu-support-available)
       (proof-maths-menu-set-global (not maths-menu-mode))))
 
 (provide 'proof-maths-menu)
-- 
cgit v1.2.3