diff --git a/build.gradle.kts b/build.gradle.kts index d983ada5..e9c4c0e7 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -41,8 +41,7 @@ tasks { compilerOptions { jvmTarget = JvmTarget.JVM_17 languageVersion = KotlinVersion.DEFAULT - // see https://plugins.jetbrains.com/docs/intellij/using-kotlin.html#kotlin-standard-library - apiVersion = KotlinVersion.KOTLIN_1_8 + apiVersion = KotlinVersion.KOTLIN_1_9 } } val copyStubs = register("copyStubs") { diff --git a/src/main/kotlin/com/jetbrains/micropython/settings/MicroPythonFacetConfiguration.kt b/src/main/kotlin/com/jetbrains/micropython/settings/MicroPythonFacetConfiguration.kt index 646d350a..28d4bf02 100644 --- a/src/main/kotlin/com/jetbrains/micropython/settings/MicroPythonFacetConfiguration.kt +++ b/src/main/kotlin/com/jetbrains/micropython/settings/MicroPythonFacetConfiguration.kt @@ -38,15 +38,17 @@ class MicroPythonFacetConfiguration : FacetConfiguration { return arrayOf(MicroPythonFacetEditorTab(this, facet)) } + @Deprecated("Deprecated in Java") override fun readExternal(element: Element?) { val deviceName = element?.getChild("device")?.getAttribute("name")?.value val device = MicroPythonDeviceProvider.providers.firstOrNull { it.persistentName == deviceName } deviceProvider = device ?: MicroPythonDeviceProvider.default } + @Deprecated("Deprecated in Java") override fun writeExternal(element: Element?) { val deviceElement = Element("device") deviceElement.setAttribute("name", deviceProvider.persistentName) element?.addContent(deviceElement) } -} \ No newline at end of file +}