RFR: 8352612: No way to add back lint categories after "none" [v4]

[Maurizio Cimadamore]

On Thu, 10 Apr 2025 21:37:32 GMT, Archie Cobbs <acobbs at openjdk.org> wrote:

>> It's good --- but I guess I liked to say that a key was either a warning category (serial) or something to enable/disable things in bulk (all/none). This is now missing in the new text.
>
> Hmm how about this:
> 
> <a id="option-Xlint-custom">`-Xlint:`[`-`]*key*(`,`[`-`]*key*)*</a>
> :   Enables and/or disables warning categories using the one or more of the keys described
>     below separated by commas. The keys `all` and `none` enable or disable all categories
>     (respectively); other keys enable the corresponding category, or disable it if preceded
>     by a hyphen (`-`).

I think this looks good -- defo better than current the text it replaces.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/24227#discussion_r2039032424