diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 12:33:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 12:33:08 +0000 |
commit | 9d89b1dc46e9d8b4247b7c6ce35090b403bc1354 (patch) | |
tree | 333f1b0aeb61b3ec904b0132612337286de336f8 /generic/proof-maths-menu.el | |
parent | 8bd936fe447b5cccf9637bc01e1eaa78ee46fb41 (diff) |
Fix for deferred loading of maths menu.
Diffstat (limited to 'generic/proof-maths-menu.el')
-rw-r--r-- | generic/proof-maths-menu.el | 3 |
1 files changed, 2 insertions, 1 deletions
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) |