Re: (trivial doc fix) RFR: 8220262: fix headings in java.logging

2019-03-12 Thread Daniel Fuchs
Hi Gary, On 12/03/2019 12:16, Gary Adams wrote: Doesn't the generated javadoc include an h2 for Class LogManager? That would make the h3 for LogManager Configuration the correct nesting level, even though it does not appear in the individual source file. No, it used to, but now it doesn't.

Re: (trivial doc fix) RFR: 8220262: fix headings in java.logging

2019-03-12 Thread Gary Adams
Doesn't the generated javadoc include an h2 for Class LogManager? That would make the h3 for LogManager Configuration the correct nesting level, even though it does not appear in the individual source file. On 3/12/19, 8:06 AM, Daniel Fuchs wrote: Hi, Please find below a trivial doc fix

Re: (trivial doc fix) RFR: 8220262: fix headings in java.logging

2019-03-12 Thread Lance Andersen
+1 -- Lance Andersen| Principal Member of Technical Staff | +1.781.442.2037 Oracle Java Engineering 1 Network Drive Burlington, MA 01803 lance.ander...@oracle.com Sent from my iPhone > On Mar 12, 2019, at 8:06 AM, Daniel Fuchs wrote: > > Hi, > > Please find below a trivial doc fix for: >

(trivial doc fix) RFR: 8220262: fix headings in java.logging

2019-03-12 Thread Daniel Fuchs
Hi, Please find below a trivial doc fix for: 8220262: fix headings in java.logging https://bugs.openjdk.java.net/browse/JDK-8220262 The change is just: - * LogManager Configuration + * LogManager Configuration full patch below. best regards, -- daniel