On Mon, 9 May 2022 21:15:34 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
> Clean backport to `jfx17u`. This pull request has now been integrated. Changeset: bdb8d28e Author: Kevin Rushforth <k...@openjdk.org> URL: https://git.openjdk.java.net/jfx17u/commit/bdb8d28ecc7bb10278a9a8385da79b5f5652bb09 Stats: 84 lines in 2 files changed: 59 ins; 4 del; 21 mod 8273998: Clarify specification for Window properties controlled by the window manager Backport-of: 7a1a19c098e21572077c9c3d75cc2141fadc99f6 ------------- PR: https://git.openjdk.java.net/jfx17u/pull/57
