250 |
beginElement("title"); |
beginElement("title"); |
251 |
print(title); |
print(title); |
252 |
endElement("title"); |
endElement("title"); |
253 |
|
beginElement("script", |
254 |
|
new String[] { "src", "type" }, |
255 |
|
new String[] { pathToRoot + "/resources/gjdoc.js", "text/javascript" }); |
256 |
|
print("<!-- this comment required for konqueror 3.2.2 -->"); |
257 |
|
endElement("script"); |
258 |
atomicElement("meta", |
atomicElement("meta", |
259 |
new String[] { "http-equiv", "content" }, |
new String[] { "http-equiv", "content" }, |
260 |
new String[] { "Content-Type", "text/html; charset=" + charset }); |
new String[] { "Content-Type", "text/html; charset=" + charset }); |
382 |
|
|
383 |
public void beginBody() |
public void beginBody() |
384 |
{ |
{ |
385 |
beginElement("body"); |
beginBody(true); |
386 |
|
} |
387 |
|
|
388 |
|
public void beginBody(boolean setTitle) |
389 |
|
{ |
390 |
|
if (setTitle) { |
391 |
|
beginElement("body", |
392 |
|
new String[] { "onload" }, |
393 |
|
new String[] { "top.contentPageLoaded(document.title)" } |
394 |
|
); |
395 |
|
} |
396 |
|
else { |
397 |
|
beginElement("body", |
398 |
|
new String[] { "onload" }, |
399 |
|
new String[] { "top.contentPageLoaded()" } |
400 |
|
); |
401 |
|
} |
402 |
} |
} |
403 |
|
|
404 |
public void endBody() |
public void endBody() |