On Wed, 16 Apr 2025 20:03:14 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
> default factory should not be a `null` value. oh, I see. I think it makes the life easier, since there is no need to publish the pointer to the deficient `DEFAULT_FACTORY`. This property can be qualified with "override" to make it clearer (though longer). `menyGraphicFactoryOverrideProperty` ------------- PR Comment: https://git.openjdk.org/jfx/pull/1773#issuecomment-2810650953
