The Version table provides details related to the release that this issue/RFE will be addressed.
Unresolved : Release in which this issue/RFE will be addressed. Resolved: Release in which this issue/RFE has been resolved. Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.
An umbrella bug for various improvements of the System Properties page.
Comments
I split this task into separate subtasks, each of which addresses a single issue.
19-02-2020
Re: 1. Provide a command-line option for toggling the page generation, similar to other options like "-noindex", "-notree", "-use", etc.
Any new option should follow the guidelines for command-line options in JEP 293 http://openjdk.java.net/jeps/293
In this case, that would suggest a name like --no-properties or --no-system-properties.
That might be an opportunity to change to --no-index, --no-tree etc
Alternatively, it might be an opportunity to combine these "feature" options, into some like the javac/javadoc Xlint option, such as
--feature all:-tree
--feature:tree,use,system-properties
where the basic option name (such as --feature) is a separate bike-shed.