mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
[platform] IJPL-49: Improve API
GitOrigin-RevId: f71d0c16118a030166f102e9a8e0fb4e33930b68
This commit is contained in:
committed by
intellij-monorepo-bot
parent
0e9a3c78af
commit
b8ef3d50aa
@@ -10,8 +10,9 @@ class JvmEnvironmentKeyProvider : EnvironmentKeyProvider {
|
||||
|
||||
companion object {
|
||||
val JDK_KEY = EnvironmentKey.create("project.jdk", JavaBundle.messagePointer("environment.key.description.project.jdk"))
|
||||
val JDK_NAME = EnvironmentKey.createWithDefaultValue("project.jdk.name", JavaBundle.messagePointer("environment.key.description.project.jdk.name"), "warmup_jdk")
|
||||
}
|
||||
override fun getAllKeys(): List<EnvironmentKey> = listOf(JDK_KEY)
|
||||
override fun getAllKeys(): List<EnvironmentKey> = listOf(JDK_KEY, JDK_NAME)
|
||||
|
||||
override suspend fun getRequiredKeys(project: Project): List<EnvironmentKey> = listOf()
|
||||
}
|
||||
Reference in New Issue
Block a user