RFR: 8301302: Platform preferences API [v5]

[Andy Goryachev]

On Tue, 5 Sep 2023 21:31:23 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

>> All I actually want is a link to the platform keys, not to the Properties class per se.  
>> Perhaps something similar to what String.format() does.
>
> Hmm, maybe. In that case, the description seems the best place for that sort of link, rather than the `@return`. Although, since that list is a predominant part of the class docs of Preferences, the link in the method signature that already goes to Preferences class ought to cover that, I would think. I wouldn't mind either way.

It's just a suggestion, really, saves a click.

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

PR Review Comment: https://git.openjdk.org/jfx/pull/1014#discussion_r1316433857