From 7ebb3e5918427d6ea67fbf288250b2617124b628 Mon Sep 17 00:00:00 2001 From: Alexander Udalov Date: Thu, 10 Nov 2016 14:31:02 +0300 Subject: [PATCH] Support "default platform" in IDE via facet settings Original commit: 22e1221c755e35f333875ed28dcbeef40a82591b --- .../src/org/jetbrains/kotlin/config/KotlinFacetSettings.kt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/jps/jps-common/src/org/jetbrains/kotlin/config/KotlinFacetSettings.kt b/jps/jps-common/src/org/jetbrains/kotlin/config/KotlinFacetSettings.kt index ca51c0a3756..0c2fd311d3a 100644 --- a/jps/jps-common/src/org/jetbrains/kotlin/config/KotlinFacetSettings.kt +++ b/jps/jps-common/src/org/jetbrains/kotlin/config/KotlinFacetSettings.kt @@ -41,8 +41,10 @@ sealed class TargetPlatformKind( object JavaScript : TargetPlatformKind(NoVersion, "JavaScript") + object Default : TargetPlatformKind(NoVersion, "Default (experimental)") + companion object { - val ALL_PLATFORMS: List> by lazy { Jvm.JVM_PLATFORMS + JavaScript } + val ALL_PLATFORMS: List> by lazy { Jvm.JVM_PLATFORMS + JavaScript + Default } } }