mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
WIP plugins: use dedicated file to store configuration
GitOrigin-RevId: 1062b49f8fd29e224b3f0eaa260cb4f1c55c8e9b
This commit is contained in:
committed by
intellij-monorepo-bot
parent
953299801b
commit
f3b92ea371
@@ -5,7 +5,6 @@ import com.intellij.ide.plugins.IdeaPluginDescriptor
|
||||
import com.intellij.openapi.actionSystem.AnActionEvent
|
||||
import com.intellij.openapi.application.ApplicationManager
|
||||
import com.intellij.openapi.components.*
|
||||
import com.intellij.openapi.components.StoragePathMacros.NON_ROAMABLE_FILE
|
||||
import com.intellij.openapi.project.DumbAwareAction
|
||||
import com.intellij.util.text.VersionComparatorUtil
|
||||
import com.intellij.util.xmlb.annotations.Tag
|
||||
@@ -35,7 +34,7 @@ class PluginManagerFilters {
|
||||
}
|
||||
|
||||
@Service(Service.Level.APP)
|
||||
@State(name = "plugin-filter", storages = [Storage(value = NON_ROAMABLE_FILE)])
|
||||
@State(name = "plugin-filter", storages = [Storage(value = "orgPluginsFilter.xml")])
|
||||
private class PluginManagerConfigurableForOrgConfig : SimplePersistentStateComponent<PluginManagerConfigurableForOrgState>(PluginManagerConfigurableForOrgState())
|
||||
|
||||
private class PluginManagerConfigurableForOrgState : BaseState() {
|
||||
|
||||
Reference in New Issue
Block a user