src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SplitIndexWriter.java
--- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SplitIndexWriter.java Mon Apr 09 04:43:03 2018 -0700
+++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SplitIndexWriter.java Mon Apr 09 09:45:51 2018 -0700
@@ -125,7 +125,8 @@
? HtmlTree.HEADER()
: body;
addTop(htmlTree);
- addNavLinks(true, htmlTree);
+ navBar.setUserHeader(getUserHeaderFooter(true));
+ htmlTree.addContent(navBar.getContent(true));
if (configuration.allowTag(HtmlTag.HEADER)) {
body.addContent(htmlTree);
}
@@ -145,7 +146,8 @@
if (configuration.allowTag(HtmlTag.FOOTER)) {
htmlTree = HtmlTree.FOOTER();
}
- addNavLinks(false, htmlTree);
+ navBar.setUserFooter(getUserHeaderFooter(false));
+ htmlTree.addContent(navBar.getContent(false));
addBottom(htmlTree);
if (configuration.allowTag(HtmlTag.FOOTER)) {
body.addContent(htmlTree);