Index: java/org/chromium/distiller/webdocument/WebDocumentBuilderInterface.java |
diff --git a/java/org/chromium/distiller/webdocument/WebDocumentBuilderInterface.java b/java/org/chromium/distiller/webdocument/WebDocumentBuilderInterface.java |
index 340d9cbe60e8b67aa0ebf416d984286b4250794f..81e7cbdc166b62079bf27188b221ea5c3da13aac 100644 |
--- a/java/org/chromium/distiller/webdocument/WebDocumentBuilderInterface.java |
+++ b/java/org/chromium/distiller/webdocument/WebDocumentBuilderInterface.java |
@@ -15,5 +15,6 @@ public interface WebDocumentBuilderInterface { |
void textNode(Text textNode); |
void lineBreak(Node node); |
void dataTable(Element e); |
+ void list(WebElement e); |
wychen
2015/08/01 01:00:20
list(PlaceHolder e)?
|
void embed(WebElement embedNode); |
} |