Add an ability to switch between old and new J2K via settings window

Before that it was possible to do only via registry

#KT-33371 fixed
This commit is contained in:
Ilya Kirillov
2019-08-15 19:29:12 +03:00
parent 3b8da0afe4
commit 4befca95d6
12 changed files with 62 additions and 43 deletions
@@ -1,11 +1,11 @@
package org.jetbrains.kotlin.j2k
import com.intellij.ide.util.PropertiesComponent
import com.intellij.openapi.extensions.AbstractExtensionPointBean
import com.intellij.openapi.extensions.ExtensionPointName
import com.intellij.openapi.module.Module
import com.intellij.openapi.progress.ProgressIndicator
import com.intellij.openapi.project.Project
import com.intellij.openapi.util.registry.Registry
import com.intellij.psi.PsiJavaFile
abstract class J2kConverterExtension : AbstractExtensionPointBean() {
@@ -30,8 +30,14 @@ abstract class J2kConverterExtension : AbstractExtensionPointBean() {
): WithProgressProcessor
companion object {
val isNewJ2k
get() = Registry.`is`("kotlin.use.new.j2k", true)
private const val newJ2kByDefault = true
private const val optionName = "kotlin.use.new.j2k"
var isNewJ2k
get() = PropertiesComponent.getInstance().getBoolean(optionName, newJ2kByDefault)
set(value) {
PropertiesComponent.getInstance().setValue(optionName, value, newJ2kByDefault)
}
val EP_NAME = ExtensionPointName.create<J2kConverterExtension>("org.jetbrains.kotlin.j2kConverterExtension")