changeset 3150:b4f1da969864

Sync with jdk9/dev: "7052425: Change the look and feel of the javadoc generate HTML pages using stylesheet" seems to have been lost.
author wmdietl
date Wed, 15 Jan 2014 11:55:54 -0500
parents 2786087a4501
children 1b8b0cb557fe
files src/share/classes/com/sun/tools/doclets/formats/html/HtmlDoclet.java src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/activetitlebar.gif src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/activetitlebar_end.gif src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/background.gif src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/tab.gif src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/titlebar.gif src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/titlebar_end.gif
diffstat 7 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDoclet.java	Wed Jan 15 10:29:51 2014 -0500
+++ b/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDoclet.java	Wed Jan 15 11:55:54 2014 -0500
@@ -115,6 +115,12 @@
         boolean nodeprecated = configuration.nodeprecated;
         performCopy(configuration.helpfile);
         performCopy(configuration.stylesheetfile);
+        copyResourceFile("background.gif");
+        copyResourceFile("tab.gif");
+        copyResourceFile("titlebar.gif");
+        copyResourceFile("titlebar_end.gif");
+        copyResourceFile("activetitlebar.gif");
+        copyResourceFile("activetitlebar_end.gif");
         // do early to reduce memory footprint
         if (configuration.classuse) {
             ClassUseWriter.generate(configuration, classtree);
@@ -308,6 +314,16 @@
         return docletToStart.configuration.validOptions(options, reporter);
     }
 
+    /**
+     * Copy a file in the resources directory to the destination directory.
+     * @param resource   The name of the resource file to copy
+     */
+    private void copyResourceFile(String resource) {
+        DocPath p = DocPaths.RESOURCES.resolve(resource);
+        DocFile f = DocFile.createFileForOutput(configuration, p);
+        f.copyResource(p, false, false);
+    }
+
     private void performCopy(String filename) {
         if (filename.isEmpty())
             return;
Binary file src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/activetitlebar.gif has changed
Binary file src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/activetitlebar_end.gif has changed
Binary file src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/background.gif has changed
Binary file src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/tab.gif has changed
Binary file src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/titlebar.gif has changed
Binary file src/share/classes/com/sun/tools/doclets/internal/toolkit/resources/titlebar_end.gif has changed