diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 16:23:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-22 16:23:00 +0000 |
| commit | 609ed52c918fdc96e64d5f4b997fdd02d0b56951 (patch) | |
| tree | 5b417b02bf8b230dcef50b5a28bdb922dd4fe0ce /generic/proof-script.el | |
| parent | de90805036ae2bf8e9ceff16d59e3ede1b2bedac (diff) | |
Whitespace.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 2e5b87ae..5067d665 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1618,16 +1618,15 @@ No action if BUF is nil." With ARG, turn on the Active Terminator minor mode if and only if ARG is positive. -If active terminator mode is enabled, pressing a terminator will automatically activate `proof-assert-next-command' for convenience." - +If active terminator mode is enabled, pressing a terminator will +automatically activate `proof-assert-next-command' for convenience." (interactive "P") - - (setq proof-active-terminator-minor-mode - (if (null arg) (not proof-active-terminator-minor-mode) - (> (prefix-numeric-value arg) 0))) - (if (fboundp 'redraw-modeline) - (redraw-modeline) - (force-mode-line-update))) + (setq proof-active-terminator-minor-mode + (if (null arg) (not proof-active-terminator-minor-mode) + (> (prefix-numeric-value arg) 0))) + (if (fboundp 'redraw-modeline) + (redraw-modeline) + (force-mode-line-update))) (defun proof-process-active-terminator () "Insert the proof command terminator, and assert up to it." |