HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
03b14a2
)
Improve domtool-mode indentation
author
Adam Chlipala
<adamc@hcoop.net>
Sun, 16 Dec 2007 20:47:20 +0000
(20:47 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sun, 16 Dec 2007 20:47:20 +0000
(20:47 +0000)
elisp/domtool-mode.el
patch
|
blob
|
blame
|
history
diff --git
a/elisp/domtool-mode.el
b/elisp/domtool-mode.el
index
cbd5175
..
db93b74
100644
(file)
--- a/
elisp/domtool-mode.el
+++ b/
elisp/domtool-mode.el
@@
-100,7
+100,7
@@
(defun until-closed-helper (level)
(if
(defun until-closed-helper (level)
(if
- (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\|let\\)\\_>"
+ (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\|let\\
|val\\|type\\|if\\
)\\_>"
nil t)
(cond
((string= (match-string 0) "end")
nil t)
(cond
((string= (match-string 0) "end")
@@
-121,7
+121,7
@@
(back-to-indentation)
(multiple-value-bind (previous-keyword base-indent)
(save-excursion
(back-to-indentation)
(multiple-value-bind (previous-keyword base-indent)
(save-excursion
- (if (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\|let\\|in\\)\\_>"
+ (if (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\|let\\|in\\
|val\\|type\\|if\\
)\\_>"
nil t)
(values (match-string 0) (current-indentation))
(values nil 0)))
nil t)
(values (match-string 0) (current-indentation))
(values nil 0)))
@@
-131,7
+131,7
@@
'noindent)
((nth 4 state)
(domtool-calculate-comment-indent state))
'noindent)
((nth 4 state)
(domtool-calculate-comment-indent state))
- ((looking-at "\\_<\\(with\\|end\\|in\\)\\_>")
+ ((looking-at "\\_<\\(with\\|end\\|in\\
|else\\
)\\_>")
(until-closed))
((not previous-keyword)
base-indent)
(until-closed))
((not previous-keyword)
base-indent)