< prev index next >

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/AbstractOverviewIndexWriter.java

Print this page

        

*** 139,149 **** .setHeader(header) .addMainContent(main) .setFooter(footer) .toContent()); printHtmlDocument( ! configuration.metakeywords.getOverviewMetaKeywords(title, configuration.doctitle), description, body); } /** * Adds the index to the documentation tree. --- 139,149 ---- .setHeader(header) .addMainContent(main) .setFooter(footer) .toContent()); printHtmlDocument( ! configuration.metakeywords.getOverviewMetaKeywords(title, configuration.getOptions().docTitle), description, body); } /** * Adds the index to the documentation tree.
*** 156,167 **** * Adds the doctitle to the documentation tree, if it is specified on the command line. * * @param body the document tree to which the title will be added */ protected void addConfigurationTitle(Content body) { ! if (configuration.doctitle.length() > 0) { ! Content title = new RawHtml(configuration.doctitle); Content heading = HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING, HtmlStyle.title, title); Content div = HtmlTree.DIV(HtmlStyle.header, heading); body.add(div); } --- 156,168 ---- * Adds the doctitle to the documentation tree, if it is specified on the command line. * * @param body the document tree to which the title will be added */ protected void addConfigurationTitle(Content body) { ! String doctitle = configuration.getOptions().docTitle; ! if (doctitle.length() > 0) { ! Content title = new RawHtml(doctitle); Content heading = HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING, HtmlStyle.title, title); Content div = HtmlTree.DIV(HtmlStyle.header, heading); body.add(div); }
< prev index next >