| Index: java/org/chromium/distiller/webdocument/WebDocumentBuilder.java
|
| diff --git a/java/org/chromium/distiller/webdocument/WebDocumentBuilder.java b/java/org/chromium/distiller/webdocument/WebDocumentBuilder.java
|
| index 36d384f4390ad3ecd2cfe67aa8b508df85cfb953..193603f40f2b120a2ae1f51bb979ebd6464e220e 100644
|
| --- a/java/org/chromium/distiller/webdocument/WebDocumentBuilder.java
|
| +++ b/java/org/chromium/distiller/webdocument/WebDocumentBuilder.java
|
| @@ -115,6 +115,12 @@ public class WebDocumentBuilder implements WebDocumentBuilderInterface {
|
| }
|
|
|
| @Override
|
| + public void list(WebTag element) {
|
| + flushBlock(groupNumber);
|
| + document.addList(element);
|
| + }
|
| +
|
| + @Override
|
| public void embed(WebElement embedNode) {
|
| flushBlock(groupNumber);
|
| document.addEmbed(embedNode);
|
|
|