Community
Participate
Working Groups
Steps to reproduce - 1. Launch a new workspace 2. Add 12 JRE as default JRE 3. Set the Workspace compliance to 12 and Enable Preview feature with Ignore option 4. Create a Java 12 project 5. I get option to enable preview for project property on this code - switch (day) { case SATURDAY, SUNDAY -> System.out.println("Weekend"); case MONDAY, TUESDAY, WEDNESDAY -> System.out.println("Weekday"); } I thought If we have enabled at workspace level, it is not required for each project.
Kalyan, please check.
I got the input form Kalyan that If "Defualt JRE" option is used while creating the java project, Project Specific setting will not be created and hence this will work. So 2 things - 1. How a user is supposed to know that selecting default JRE will have this impact? 2. When user does not select "Default JRE" the newly created Project properties should not use workspace specific settings as default values ?
(In reply to Sarika Sinha from comment #2) > I got the input form Kalyan that If "Defualt JRE" option is used while > creating the java project, Project Specific setting will not be created and > hence this will work. > So 2 things - > 1. How a user is supposed to know that selecting default JRE will have this > impact? The JavaDoc associated with the New Java Project Creation Wizard specifies the impact of selecting default JRE > 2. When user does not select "Default JRE" the newly created Project > properties should not use workspace specific settings as default values ? We will need to figure out a way for giving user the preference to inherit or not, based on EE or selected JRE matching the Default JRE. This could be a new workspace preference. This could be turned off by default and only turned on for people who need it. Please provide your inputs too.
Is this planned for 4.13?
New Gerrit change created: https://git.eclipse.org/r/147177
(In reply to Eclipse Genie from comment #5) > New Gerrit change created: https://git.eclipse.org/r/147177 After discussion with Sarika, it was decided that fixing Point 1 of Comment 2 would be sufficient as pint 2 would be very complicated to implement. So the above fix addresses Point 1 of Comment 2.
Gerrit change https://git.eclipse.org/r/147177 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=462d36c8c6bed3d4f7090dc324818d257c686722
Verified in the build I20190819-2355
*** Bug 531927 has been marked as a duplicate of this bug. ***