[jfx17u] Integrated: 8273998: Clarify specification for Window properties controlled by the window manager

Tue May 10 14:03:59 UTC 2022

On Mon, 9 May 2022 21:15:34 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> Clean backport to `jfx17u`.

This pull request has now been integrated.

Changeset: bdb8d28e
Author:    Kevin Rushforth <kcr at 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