summaryrefslogtreecommitdiff
path: root/src/elisp/urweb-mode.el
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-16 14:40:28 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-16 14:40:28 -0400
commit0abf429653cf148874a7e4dbf0918e77126b87d2 (patch)
treee13c6218b0083efaa3e5e44c1a8d22dffd30738e /src/elisp/urweb-mode.el
parenta1c0b723a03aef245dfe1fe3b49f874da48dec48 (diff)
Crud indented properly, except for <xml>...</xml> outside parens and sig/struct
Diffstat (limited to 'src/elisp/urweb-mode.el')
-rw-r--r--src/elisp/urweb-mode.el66
1 files changed, 36 insertions, 30 deletions
diff --git a/src/elisp/urweb-mode.el b/src/elisp/urweb-mode.el
index 048efcad..b44ebbb1 100644
--- a/src/elisp/urweb-mode.el
+++ b/src/elisp/urweb-mode.el
@@ -452,33 +452,17 @@ If anyone has a good algorithm for this..."
(1+ (current-column))
nil))))
-(defun urweb-begun-xml ()
- "Check if this is the first new line in a new <xml>...</xml> section"
+(defun urweb-empty-line ()
(save-excursion
+ (beginning-of-line)
(let ((start-pos (point)))
- (previous-line 1)
- (search-forward "<xml>" start-pos t))))
+ (end-of-line)
+ (not (re-search-backward "[^\n \t]" start-pos t)))))
-(defun urweb-new-tags ()
- "Decide if the previous line of XML introduced unclosed tags"
- (save-excursion
- (let ((start-pos (point))
- (depth 0)
- (done nil))
- (previous-line 1)
- (beginning-of-line)
- (while (and (not done) (search-forward "<" start-pos t))
- (if (looking-at "/")
- (if (search-forward ">" start-pos t)
- (when (> depth 0) (decf depth))
- (setq done t))
- (if (search-forward ">" start-pos t)
- (if (not (save-excursion (backward-char 2) (looking-at "/")))
- (incf depth))
- (setq done t))))
- (and (not done) (> depth 0)))))
+(defun urweb-seek-back ()
+ (while (urweb-empty-line) (previous-line 1)))
-(defun skip-matching-braces ()
+(defun urweb-skip-matching-braces ()
"Skip backwards past matching brace pairs, to calculate XML indentation after quoted Ur code"
(beginning-of-line)
(let ((start-pos (point))
@@ -497,13 +481,36 @@ If anyone has a good algorithm for this..."
((looking-at "{")
(decf depth)))))))
+(defun urweb-new-tags ()
+ "Decide if the previous line of XML introduced unclosed tags"
+ (save-excursion
+ (let ((start-pos (point))
+ (depth 0)
+ (done nil))
+ (previous-line 1)
+ (urweb-seek-back)
+ (urweb-skip-matching-braces)
+ (urweb-seek-back)
+ (beginning-of-line)
+ (while (and (not done) (search-forward "<" start-pos t))
+ (if (looking-at "/")
+ (if (search-forward ">" start-pos t)
+ (when (> depth 0) (decf depth))
+ (setq done t))
+ (if (search-forward ">" start-pos t)
+ (if (not (save-excursion (backward-char 2) (looking-at "/")))
+ (incf depth))
+ (setq done t))))
+ (and (not done) (> depth 0)))))
+
(defun urweb-tag-matching-indent ()
"Seek back to a matching opener tag and get its line's indent"
(save-excursion
+ (end-of-line)
+ (search-backward "</" nil t)
(urweb-tag-matcher)
- (if (looking-at "<xml")
- (+ (current-indentation) 2)
- (current-indentation))))
+ (beginning-of-line)
+ (current-indentation)))
(defun urweb-calculate-indentation ()
(save-excursion
@@ -527,14 +534,13 @@ If anyone has a good algorithm for this..."
(and (urweb-in-xml)
(let ((prev-indent (save-excursion
(previous-line 1)
- (skip-matching-braces)
- (re-search-backward "^[^\n]" nil t)
+ (urweb-seek-back)
+ (urweb-skip-matching-braces)
+ (urweb-seek-back)
(current-indentation))))
(cond
((looking-at "</")
(urweb-tag-matching-indent))
- ((urweb-begun-xml)
- (+ prev-indent 4))
((urweb-new-tags)
(+ prev-indent 2))
(t