On Mon, 20 Nov 2023 19:12:25 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
>> Please read [this >> document](https://gist.github.com/mstr2/9f46f92c98d3c86aa6a0b4224a9a6548) >> for an introduction to the Platform Preferences API, and how it interacts >> with the proposed style theme and stage appearance features. > > Michael Strauß has updated the pull request incrementally with one additional > commit since the last revision: > > Support polymorphic values If the JEP-style documentation in the gist has value for _application_ developers, then a markdown file in the repo is the wrong place to put it. A Wiki might also not be the best place to put it, unless we add a bit of rigor to keep it organized. If we were actually using the JEP process (instead of just documenting larger features using the JEP template to inform the discussion of the features), then the JEP itself would be the place to put it. These are converted to a readable format and are persistent. For example, see [JEP 431](https://openjdk.org/jeps/431) for a recent JDK JEP. I'm not suggesting that we use the JEP process as it has overhead and some aspects that are likely not be suitable, although we could consider doing so. In any case, I do not want to see anything done with the GIST in question as part of this PR. Nor do I want to see it done in isolation without further discussion on the openjfx-dev mailing list about the general question of where / how to record feature docs. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1014#issuecomment-1819687895
