diff options
| author | michelou <michelou@epfl.ch> | 2003-09-25 12:14:00 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2003-09-25 12:14:00 +0000 |
| commit | 96389466623b5f6d821252f00c523ac7f91b514b (patch) | |
| tree | a7d9ce070fbb5674d8aa888bb40557d2961eec9f /sources/ch | |
| parent | 4d46f95c8eced766a8885f31eba84c016ac16cd0 (diff) | |
| download | scala-96389466623b5f6d821252f00c523ac7f91b514b.tar.gz scala-96389466623b5f6d821252f00c523ac7f91b514b.tar.bz2 scala-96389466623b5f6d821252f00c523ac7f91b514b.zip | |
- added new constructor (for 'script' field)
Diffstat (limited to 'sources/ch')
| -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); } /** |