On Wed, 6 Sep 2023 00:14:45 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: > > Update Eclipse .classpath file modules/javafx.graphics/src/main/java/javafx/application/Platform.java line 472: > 470: * <tbody> > 471: * <tr><th colspan="2" scope="colgroup">Windows</th></tr> > 472: * <tr><td>{@code Windows.SPI.HighContrast}</td><td>{@link > Boolean}</td></tr> would it be possible to sort the keys alphabetically? ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/1014#discussion_r1317608737