diff options
| author | Roman Kennke <roman@kennke.org> | 2006-11-15 21:45:31 +0000 |
|---|---|---|
| committer | Roman Kennke <roman@kennke.org> | 2006-11-15 21:45:31 +0000 |
| commit | 2e6fe6cff1139e0c6ebaebaaf7ce18dff6c68d64 (patch) | |
| tree | f09f1d2db8da3342bd1c15599459b1cf66b35575 | |
| parent | ef0ba6a7f0fb1697c58c9db0272b279b9b3233b1 (diff) | |
| download | classpath-2e6fe6cff1139e0c6ebaebaaf7ce18dff6c68d64.tar.gz | |
2006-11-15 Roman Kennke <kennke@aicas.com>
* gnu/javax/swing/text/html/parser/support/Parser.java
(_handleEndTag_remaining): Consume whitespace after a closing
block like tag.
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rw-r--r-- | gnu/javax/swing/text/html/parser/support/Parser.java | 5 |
2 files changed, 11 insertions, 0 deletions
@@ -1,5 +1,11 @@ 2006-11-15 Roman Kennke <kennke@aicas.com> + * gnu/javax/swing/text/html/parser/support/Parser.java + (_handleEndTag_remaining): Consume whitespace after a closing + block like tag. + +2006-11-15 Roman Kennke <kennke@aicas.com> + * javax/swing/text/html/HTMLDocument.java (HTMLReader.ParagraphAction.end): Call super instead of blockClose() directly. diff --git a/gnu/javax/swing/text/html/parser/support/Parser.java b/gnu/javax/swing/text/html/parser/support/Parser.java index 60b876fb0..8304c1f66 100644 --- a/gnu/javax/swing/text/html/parser/support/Parser.java +++ b/gnu/javax/swing/text/html/parser/support/Parser.java @@ -1221,6 +1221,11 @@ public class Parser if (preformatted < 0) preformatted = 0; + // When a block tag is closed, consume whitespace that follows after + // it. + if (h.isBlock()) + optional(WS); + if (h == HTML.Tag.TITLE) { titleOpen = false; |