RFR: [small, docs] JDK-8240971 Fix CSS styles in some doc comments
Pavel Rappo
pavel.rappo at oracle.com
Fri Mar 13 16:26:54 UTC 2020
This is really nice. Incidentally, it also makes
https://bugs.openjdk.java.net/browse/JDK-8234395
less relevant.
-Pavel
> On 12 Mar 2020, at 20:50, Jonathan Gibbons <jonathan.gibbons at oracle.com> wrote:
>
> Please review a simple fix regarding the non-standard use of some CSS in some doc comments.
>
> From the JBS Description:
>
> Recently, for the display of javadoc block tags, javadoc changed from using an inconsistent set of CSS class names on the generated 'dt' elements to using a single new name ("notes") on the enclosing 'dl' element.
>
> There are a few (4) places in the main JDK code where the old-style names were used explicitly in doc comments, in order to emulate the appearance of a list of block tags. These use-sites should be fixed up. They are in the following files:
>
> open/src/java.base/share/classes/module-info.java
> open/src/java.se/share/classes/module-info.java
> open/src/java.management.rmi/share/classes/module-info.java
> open/src/jdk.jconsole/share/classes/module-info.java
>
> In addition, these four files used the style attribute to force the font to be used. The font is now set in the standard CSS for "notes", and so the local use of a "style" attribute is no longer necessary.
>
> -- Jon
>
> JBS: https://bugs.openjdk.java.net/browse/JDK-8240971
> Webrev: http://cr.openjdk.java.net/~jjg/8240971/webrev.00/index.html
> API: http://cr.openjdk.java.net/~jjg/8240971/api.00/index.html
>
More information about the javadoc-dev
mailing list