diff options
| author | David Aspinall | 2009-09-05 09:54:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 09:54:56 +0000 |
| commit | b30f353c2ea9f514d7ab6bf821a7919adf62143a (patch) | |
| tree | 9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/proof-maths-menu.el | |
| parent | 559426016c112b6147fe82582c6479521b0fab6a (diff) | |
Clean whitespace
Diffstat (limited to 'generic/proof-maths-menu.el')
| -rw-r--r-- | generic/proof-maths-menu.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index a0764a98..de02cc7a 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -34,18 +34,18 @@ Turn on/off menu in all script buffers and ensure new buffers follow suit." (if flag (add-hook hook 'maths-menu-mode) (remove-hook hook 'maths-menu-mode)) - (proof-map-buffers + (proof-map-buffers (proof-buffers-in-mode proof-mode-for-script) (maths-menu-mode (if flag 1 0))))) - - + + ;;;###autoload (defun proof-maths-menu-enable () "Turn on or off maths-menu mode in Proof General script buffer. This invokes `maths-menu-mode' to toggle the setting for the current buffer, and then sets PG's option for default to match. -Also we arrange to have maths menu mode turn itself on automatically +Also we arrange to have maths menu mode turn itself on automatically in future if we have just activated it for this buffer." (interactive) (require 'maths-menu) |