diff options
Diffstat (limited to 'sources/ch/epfl')
-rw-r--r-- | sources/ch/epfl/lamp/util/XHTMLPrinter.java | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/sources/ch/epfl/lamp/util/XHTMLPrinter.java b/sources/ch/epfl/lamp/util/XHTMLPrinter.java index 9600817b06..be76c45023 100644 --- a/sources/ch/epfl/lamp/util/XHTMLPrinter.java +++ b/sources/ch/epfl/lamp/util/XHTMLPrinter.java @@ -28,11 +28,26 @@ public class XHTMLPrinter extends HTMLPrinter { * @param title * @param representation * @param stylesheet + * @param script + */ + public XHTMLPrinter(Writer writer, String title, HTMLRepresentation representation, + String stylesheet, String script) + { + super(writer, title, representation, stylesheet, script); + } + + /** + * Creates a new instance. + * + * @param writer + * @param title + * @param representation + * @param stylesheet */ public XHTMLPrinter(Writer writer, String title, HTMLRepresentation representation, String stylesheet) { - super(writer, title, representation, stylesheet); + this(writer, title, representation, stylesheet, DEFAULT_JAVASCRIPT); } /** |