src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SingleIndexWriter.java
--- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SingleIndexWriter.java Fri Mar 01 04:34:28 2019 -0800
+++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SingleIndexWriter.java Mon Mar 04 11:19:34 2019 -0800
@@ -93,11 +93,15 @@
protected void generateIndexFile() throws DocFileIOException {
String title = resources.getText("doclet.Window_Single_Index");
HtmlTree body = getBody(true, getWindowTitle(title));
- HtmlTree htmlTree = HtmlTree.HEADER();
- addTop(htmlTree);
+ HtmlTree header = HtmlTree.HEADER();
+ addTop(header);
navBar.setUserHeader(getUserHeaderFooter(true));
- htmlTree.addContent(navBar.getContent(true));
- body.addContent(htmlTree);
+ header.addContent(navBar.getContent(true));
+ body.addContent(header);
+ HtmlTree main = HtmlTree.MAIN();
+ main.addContent(HtmlTree.DIV(HtmlStyle.header,
+ HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING,
+ contents.getContent("doclet.Index"))));
HtmlTree divTree = new HtmlTree(HtmlTag.DIV);
divTree.setStyle(HtmlStyle.contentContainer);
elements = new TreeSet<>(indexbuilder.getIndexMap().keySet());
@@ -114,12 +118,13 @@
}
}
addLinksForIndexes(divTree);
- body.addContent(HtmlTree.MAIN(divTree));
- htmlTree = HtmlTree.FOOTER();
+ main.addContent(divTree);
+ body.addContent(main);
+ HtmlTree footer = HtmlTree.FOOTER();
navBar.setUserFooter(getUserHeaderFooter(false));
- htmlTree.addContent(navBar.getContent(false));
- addBottom(htmlTree);
- body.addContent(htmlTree);
+ footer.addContent(navBar.getContent(false));
+ addBottom(footer);
+ body.addContent(footer);
createSearchIndexFiles();
printHtmlDocument(null, "index", body);
}