/[classpath]/gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/HtmlPage.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/HtmlPage.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.4 by julian, Wed Dec 15 11:41:09 2004 UTC revision 1.5 by julian, Wed Dec 15 12:29:27 2004 UTC
# Line 250  public class HtmlPage Line 250  public class HtmlPage
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 });
# Line 377  public class HtmlPage Line 382  public class HtmlPage
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()

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26