mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
extract readMetaInfo, use pluginId instead of string for disabled plugin list
GitOrigin-RevId: e053531ca0554dbf0eadc11c6493ccc07c7fae1d
This commit is contained in:
committed by
intellij-monorepo-bot
parent
7fb07986e5
commit
2d67fc31f3
@@ -9,6 +9,7 @@ import com.intellij.ide.util.PropertiesComponent
|
||||
import com.intellij.openapi.application.ApplicationManager
|
||||
import com.intellij.openapi.application.ex.ApplicationManagerEx
|
||||
import com.intellij.openapi.diagnostic.Logger
|
||||
import com.intellij.openapi.extensions.PluginId
|
||||
import com.intellij.openapi.fileEditor.FileEditorManager
|
||||
import com.intellij.openapi.fileEditor.FileEditorManagerListener
|
||||
import com.intellij.openapi.fileTypes.StdFileTypes
|
||||
@@ -107,7 +108,7 @@ class IdeaDecompiler : ClassFileDecompilers.Light() {
|
||||
|
||||
DECLINE_EXIT_CODE -> {
|
||||
myFutures.remove(file)?.cancel(true)
|
||||
PluginManagerCore.disablePlugin("org.jetbrains.java.decompiler")
|
||||
PluginManagerCore.disablePlugin(PluginId.getId("org.jetbrains.java.decompiler"))
|
||||
ApplicationManagerEx.getApplicationEx().restart(true)
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user