diff options
Diffstat (limited to 'gnu/javax/swing/text/html/parser/support')
-rw-r--r-- | gnu/javax/swing/text/html/parser/support/Parser.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/javax/swing/text/html/parser/support/Parser.java b/gnu/javax/swing/text/html/parser/support/Parser.java index 98058e503..f6747ef84 100644 --- a/gnu/javax/swing/text/html/parser/support/Parser.java +++ b/gnu/javax/swing/text/html/parser/support/Parser.java @@ -1181,6 +1181,13 @@ public class Parser { validator.validateTag(tag, attributes); handleEmptyTag(tag); + HTML.Tag h = tag.getHTMLTag(); + // When a block tag is closed, consume whitespace that follows after + // it. + // For some unknown reason a FRAME tag is not treated as block element. + // However in this case it should be treated as such. + if (h.isBlock() || h == HTML.Tag.FRAME) + optional(WS); } catch (ChangedCharSetException ex) { |