On Tue, 4 Nov 2025 21:50:29 GMT, Andy Goryachev <[email protected]> wrote:
>> Another possible name: `DEFAULT` >> >> I'm not sure which one I like best. > > `PLATFORM_DEFAULT` maybe? Maybe. Or maybe `SYSTEM_DEFAULT` (since it comes from Java's system properties)? ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/1944#discussion_r2492268263
