Hannes,

Good point.  This is worth a followup issue.

-- Jon


On 12/11/2019 10:58 AM, Hannes Wallnöfer wrote:
Both code and rendered docs look good to me.

I slightly dislike that the system properties page is always generated, and the 
link on the index page is rendered if any index tags are defined, resulting 
possibly in an empty page and a link to an empty page. But I think that’s a 
minor issue we can live with. As you say, this is a good start.

Hannes

Am 11.12.2019 um 18:26 schrieb Pavel Rappo <[email protected]>:

Hello,

Please review the following change for 
https://bugs.openjdk.java.net/browse/JDK-8215038:

    http://cr.openjdk.java.net/~prappo/8215038/webrev.00/

This change proposes a summary page for system properties. The change is 
largely based on prior work of Priya Lakshmi Muthuswamy (pmuthuswamy). The 
result can be seen here:

    http://cr.openjdk.java.net/~prappo/8215038/docs/

For practical reasons the link above leads to only a small part of the API docs, so most links will 
NOT work. From the navigation bar click on the "INDEX" link and then on the "System 
Properties" link immediately below the letter index.

We still have a ways to go with this particular functionality, but I reckon 
this is a good start.

Thanks,
-Pavel


Reply via email to