public static interface PluginManagerMain.PluginEnabler
Modifier and Type | Interface and Description |
---|---|
static class |
PluginManagerMain.PluginEnabler.HEADLESS |
Modifier and Type | Method and Description |
---|---|
void |
disablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled) |
void |
enablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled) |
boolean |
isDisabled(PluginId pluginId) |
void enablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled)
void disablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled)
boolean isDisabled(PluginId pluginId)