Index: java/org/chromium/distiller/webdocument/WebDocument.java |
diff --git a/java/org/chromium/distiller/webdocument/WebDocument.java b/java/org/chromium/distiller/webdocument/WebDocument.java |
index e8c1880b8acdab88306c9de92689348601cd764a..5e3eb61b81ad3ce98095494830b855c98d9d3fd7 100644 |
--- a/java/org/chromium/distiller/webdocument/WebDocument.java |
+++ b/java/org/chromium/distiller/webdocument/WebDocument.java |
@@ -29,6 +29,10 @@ public class WebDocument { |
elements.add(table); |
} |
+ public void addList(WebElement list) { |
wychen
2015/08/01 01:00:20
addList(PlaceHolder list)?
|
+ elements.add(list); |
+ } |
+ |
public void addEmbed(WebElement embed) { |
elements.add(embed); |
} |