RFR: 8301302: Platform preferences API [v5]

[Kevin Rushforth]

On Tue, 5 Sep 2023 23:35:04 GMT, Andy Goryachev <angorya at openjdk.org> wrote:

>> I think we should indeed document _all_ possible preferences for the platform toolkit implementations we control. Of course, this means that we need to keep this list in sync with the actual implementation.
>
> +1
> 
> we could put the doc (in markdown format) in the doc-files/platform directory (or create any other subdirectory, see JDK-8309749)

I think Michael meant that the javadoc-generated API docs in this file need to be kept up to date. If we are going to say _all_, then yes it will. I don't see a need for any other doc related to this.

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

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