On Sun, 19 Feb 2023 01:22:58 GMT, Thiago Milczarek Sayao <tsa...@openjdk.org> 
wrote:

>> .idea/misc.xml line 8:
>> 
>>> 6:   </component>
>>> 7:   <component name="IdProvider" 
>>> IDEtalkID="9BC0DE4049720C1246C2D3B835C6F7C3" />
>>> 8:   <component name="ProjectRootManager" version="2" 
>>> languageLevel="JDK_17" project-jdk-name="19" project-jdk-type="JavaSDK">
>> 
>> I think this should be `project-jdk-name="17"`. When I check out this PR, 
>> IntelliJ also changed that automatically.
>
> Each user probably would have to configure a JDK for the project.

Yes I agree. But since the minimum supported language level for OpenJFX is 
JDK-17 and this file is part of the version control, I would recommend we 
synchronize the `project-jdk-name` with the `languageLevel`, in this case `17`.

-------------

PR: https://git.openjdk.org/jfx/pull/1009

Reply via email to