MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

java 13 was released, set highest language level

Browse Source 
GitOrigin-RevId: b39d562c899bbd6e15c7365f639d4bda2979dfc3
This commit is contained in:
Anna Kozlova
2019-09-26 20:04:05 +00:00
committed by intellij-monorepo-bot
parent 8e3f33b220
commit fa81d22906
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-psi-api/src/com/intellij/pom/java/LanguageLevel.java
+1 -1
View File
@@ -36,7 +36,7 @@ public enum LanguageLevel {
JDK_13_PREVIEW(JavaCoreBundle.message("jdk.13.preview.language.level.description"), 13),
JDK_X(JavaCoreBundle.message("jdk.X.language.level.description"), 14);
public static final LanguageLevel HIGHEST = JDK_12;
public static final LanguageLevel HIGHEST = JDK_13;
public static final Key<LanguageLevel> KEY = Key.create("LANGUAGE_LEVEL");
private final String myPresentableText;
jps/model-api/src/org/jetbrains/jps/model/java/LanguageLevel.java
+1 -1
View File
@@ -23,7 +23,7 @@ public enum LanguageLevel {
JDK_13(13), JDK_13_PREVIEW(13),
JDK_X(14);
public static final LanguageLevel HIGHEST = JDK_12;
public static final LanguageLevel HIGHEST = JDK_13;
private final JavaVersion myVersion;