mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
increase current highest language level
This commit is contained in:
@@ -31,7 +31,7 @@ public enum LanguageLevel {
|
||||
JDK_10(JavaCoreBundle.message("jdk.10.language.level.description")),
|
||||
JDK_X(JavaCoreBundle.message("jdk.X.language.level.description"));
|
||||
|
||||
public static final LanguageLevel HIGHEST = JDK_1_9;
|
||||
public static final LanguageLevel HIGHEST = JDK_10;
|
||||
public static final Key<LanguageLevel> KEY = Key.create("LANGUAGE_LEVEL");
|
||||
|
||||
private final String myPresentableText;
|
||||
|
||||
Reference in New Issue
Block a user