On Tue, 28 Nov 2023 18:07:34 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
> 2. Not that I know, but there's nothing to be gained from allowing controls > to mix up the order of their properties. This is performance-critical code, > and we might want to benefit from a stable and predictable order at some > point in time. This also goes beyond the scope of this PR, I think. If this is a requirement, then we need a good rationale and a set of test. But in fact, I'd rather specify no such ordering: in the absence of a good reason for having it ordered the user code should not assume any specific order. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1296#issuecomment-1830478801
