Hannes, Jon, Roger,
Thanks for looking at it. I've created a follow-up issue (Enhancement/P3/15)
capturing all of the concerns so far. As usual, feel free to update it:
https://bugs.openjdk.java.net/browse/JDK-8235827
@Jon, I added the "scary warning" to the top comment. As for the "vertical
separator", I decided not to touch it right now. The "|" separator is used in
navbar too. There's a possibility of reuse. We should refactor it separately.
-Pavel
> On 11 Dec 2019, at 17:26, Pavel Rappo <[email protected]> wrote:
>
> 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
>
