diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-24 23:36:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-24 23:36:23 +0000 |
commit | f6ffea40923b498a8a65c99214b08749a3126e9d (patch) | |
tree | 295ce918dfb7a50a10ef2dbd1608f3143850ba37 /generic/proof-indent.el | |
parent | 15af2f935c8ffc6e6b36f709f07f3ff18309c2e6 (diff) |
Fixes and cleanups for coq-indent-line, see Trac #172
Diffstat (limited to 'generic/proof-indent.el')
-rw-r--r-- | generic/proof-indent.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index ab0a522c..e792d931 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -60,7 +60,8 @@ (found-prev (proof-indent-goto-prev))) (if (not found-prev) (goto-char current)) ; recover position (cond - ((and found-prev (or proof-indent-hang (= (current-indentation) (current-column)))) + ((and found-prev (or proof-indent-hang + (= (current-indentation) (current-column)))) (+ indent (current-column) (if (and inner (not (proof-indent-inner-p))) 0 (proof-indent-indent)) @@ -83,7 +84,8 @@ (indent-line-to (max 0 (save-excursion (back-to-indentation) - (proof-indent-calculate (proof-indent-offset) (proof-indent-inner-p)))))) + (proof-indent-calculate + (proof-indent-offset) (proof-indent-inner-p)))))) (if (< (current-column) (current-indentation)) (back-to-indentation))))) |