Integrated: JDK-8273860: Javadoc Deprecated API list should not use italic font for description column
Hannes Wallnöfer
hannesw at openjdk.org
Wed Aug 17 05:39:25 UTC 2022
On Tue, 5 Jul 2022 11:01:46 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:
> Please review a trivial change to use plain font for deprecation comments in the Deprecated API page. Italic font is used to make deprecation comments stand out against other parts of the documentation, but here the content consists exclusively of deprecation comments so the same so the font style should be the same as in other API summary pages.
This pull request has now been integrated.
Changeset: 1ef4e484
Author: Hannes Wallnöfer <hannesw at openjdk.org>
URL: https://git.openjdk.org/jdk/commit/1ef4e484889c77cccadea44025924b2d010ba2cc
Stats: 23 lines in 5 files changed: 0 ins; 0 del; 23 mod
8273860: Javadoc Deprecated API list should not use italic font for description column
Reviewed-by: jjg
-------------
PR: https://git.openjdk.org/jdk/pull/9375
More information about the javadoc-dev
mailing list